swMATH ID: 6307
Software Authors: Krzysztof Kuchcinski; Radoslaw Szymanek
Description: JaCoP is a Java Constraint Programming solver. It provides a significant number of (global) constraints to facilitate efficient modeling. It also provides modular design of search to help user tailor search to specific characteristics of problem being addressed. It is currently more than 90.000 lines of code, not including examples and testing code. We have been working on JaCoP for past 10 years. It has been refactored, transformed, improved many times. JaCoP provides a large library of examples as well as extensive Java API documentation. There are more than 20.000 lines of code explaining how to model and solve diverse problems. We have cases of JaCoP usage by young people at high school age. CP technology is not easy to use so at least we tried to make using JaCoP as easy as we could. JaCoP is being used in research, teaching, and industry. We participated in Minizinc Challenge and our solver has been awarded a silver prize in a fixed category.
Homepage: http://jacop.osolpro.com/
Programming Languages: Java
Related Software: Gecode; MiniZinc; Choco; CPLEX; SICStus; ILOG SCHEDULE; OscaR; COMET; Essence; z3; B-Prolog; FlatZinc; SCIP; Scala; ProB; FaCiLe; CLAIRE; Miranda; JSetL; MiniCP
Referenced in: 15 Publications

Referencing Publications by Year