minizincide

Name: MiniZincIDE

https://www.minizinc.org/ide/index.html

/api/cask/minizincide.json (JSON API)

Cask code on GitHub

Current version: 2.2.3

Fork me on GitHub