MiniZinc Input Data Schema

MiniZinc now supports JSON, but I couldn’t find an official schema. This will be my evolving attempt at one. PRs welcome.

Development

I use record query to validate and format the yaml, with some light edits:

rq -yY < schema.yaml | sponge schema.yaml

I use yajsv to validate example data against it

yajsv -s schema.yaml example-data.json