this repo has no description
at develop 72 B view raw
1Interfacing to MiniZinc via its API 2===================================