Choco-solver: A Java library for constraint programming
27 Citations•2022•
Charles Prud’homme, Jean-Guillaume Fages
J. Open Source Softw.
Constraint Programming is both a rich declarative language for describing combinatorial problems and a set of algorithms and techniques for solving them automatically.
Abstract
Constraint Programming (CP) is a powerful programming paradigm for solving combinatorial search problems (Rossi et al., 2006). CP is at the intersection of artificial intelligence, computer science, operations research, and many other fields. One of the strengths of the paradigm is the wide variety of constraints it offers. CP is both a rich declarative language for describing combinatorial problems and a set of algorithms and techniques for solving them automatically.