JaCoP - Java Constraint Programming Solver
Krzysztof Kuchciński, Radosław Szymanek · Lund University Publications (Lund University) · 2013
This paper introduces JaCoP solver implemented entirely in Java. The solver offers a rich set of primitive, logical, conditional and global constraints as well as configurable search methods. The solver can be used directly from Java or through one of its front-end, Minizinc front-end or Scala DSL. The solver got three silver medals on Minizinc Challenge in the period 2010-2012.