Skip to content

Add new schema definition#164

Open
olafmersmann wants to merge 3 commits intomainfrom
push-zmvqzzrwnlup
Open

Add new schema definition#164
olafmersmann wants to merge 3 commits intomainfrom
push-zmvqzzrwnlup

Conversation

@olafmersmann
Copy link
Copy Markdown
Collaborator

@olafmersmann olafmersmann commented Apr 21, 2026

Adds a formal schema definition for problems, generators, suites and implementations. These are packaged in a bare bones python module named opltools. A minimal usage example is located in examples/demo.py.

To check if a given yaml file adheres to the schema, there's an included cli tool. Run

uv run opl validate my-file.yaml

to check it.

Adds a formal schema definition for problems, generators, suites and
implementations. These are packaged in a bare bones python module named
opltools. A minimal usage example is located in examples/demo.py.

To check if a given yaml file adheres to the schema, there's an included cli
tool. Run

  uv run opl validate my-file.yaml

to check it.
Add a minimal (AI generated) set of unit tests for opltools. Run the tests on
push and for pull requests.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant