MiniZinc is a free and open-source constraint modeling language
SITE: https://github.com/MiniZinc/MiniZincIDE