Choco-solver (original) (raw)

large.webp)

An Open-Source java library for constraint programming

Choco is a Free Open-Source Java library dedicated to Constraint Programming.
The user models its problem in a declarative way by stating the set of constraints
that need to be satisfied in every solution.
Then, the problem is solved by alternating constraint filtering algorithms with a search mechanism.

Learning by doing

Learn how to use Choco-solver by following tutorials.

Contributions welcome!

We do a Pull Request contributions workflow on GitHub. New users are always welcome!