RosettaGit
Tasks
Drafts
Languages
Tags
[https://www.minizinc.org/ MiniZinc] is a constraint modeling language.