Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.

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 100.000 lines of code, not including examples and testing code. We have been working on JaCoP since 2001. 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 many times silver prize in a fixed category. Our users give us very good recommendations on SourceForge as well as on Github stars.

If you are a researcher, you will find that JaCoP is an easy to use tool, easy to extend to fit your particular needs, as well as quite efficient in solving large problems. JaCoP has been used for research which only applies CP technology as well as for research within CP field itself. We have implemented techniques and research from more than 20 research articles. If you are software engineer writing a software you will find that JaCoP as any CP solver provides you with the ability to model the problem at hand as well as evaluate number of different search approaches to find an efficient one. Use the wealth of knowledge encoded within constraints to increase the reasoning/solving power of your software solution.There are number of people who may act as consultants to help you apply CP technology in the form of JaCoP inside your project.