4 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
zinc-git 0.3.13-1 2 0.00 Zinc is a stand-alone version of sbt's incremental compiler. orphan
zinc 0.3.13-0 3 0.00 Zinc is a stand-alone version of sbt's incremental compiler random-archer
libminizinc 2.3.1-1 5 0.00 MiniZinc is a modelling language for constraint programming problems kd35a
minizinc-ide 2.3.1-2 10 0.19 Simple IDE for writing and running MiniZinc models mitsakosgr

4 packages found. Page 1 of 1.