Constraint Satisfaction Problem Solver

Libraries that help with implementing optimization and satisfiability problems.

JaCoP221

Includes an interface for the FlatZinc language, enabling it to execute MiniZinc models. (AGPL-3.0)