2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
minizinc-ide 2.8.4-1 11 0.43 Simple IDE for writing and running MiniZinc models mitsakosgr 2024-05-11 04:00 (UTC)
minizinc-ide-edge build1289418151-1 0 0.00 Simple IDE for writing and running MiniZinc models mitsakosgr 2024-05-15 03:00 (UTC)

2 packages found. Page 1 of 1.