Libraries that help with implementing optimization and satisfiability problems.
Includes an interface for the FlatZinc language, enabling it to execute MiniZinc models. (AGPL-3.0)