2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
minizinc-ide 2.8.3-1 11 0.75 Simple IDE for writing and running MiniZinc models mitsakosgr 2024-02-01 08:33 (UTC)
minizinc-ide-edge build1257875443-1 0 0.00 Simple IDE for writing and running MiniZinc models mitsakosgr 2024-04-18 03:00 (UTC)

2 packages found. Page 1 of 1.