Open-source constraint solver.

Symja Java Symbolic Math core library.

Implementation of the VM scheduler that use the Constraint Programming solver CHOCO to compute solutions.

The simulation module provides bigraph matching and rewriting capabilities for implementing bigraphical reactive systems. It includes a model checker and an algorithm for canonical string encoding of bigraphs.

Provide parsers from FlatZinc, XCSP3 and MSP to Choco-solver.

Embedded DSL for role-oriented programming in Scala.

coffee4j is a framework that integrates combinatorial test generation and automated test execution via JUnit5

Acquiro Studio is a Java library and platform for constraint programming (CP) modeling assisted by constraint acquisition (CA), offering active, passive, and qualitative CA algorithms and learners built on top of choco-solver.

Constraint-based itemset/utility-pattern mining models, as a plain library dependency - no JavaFX, no server, no SPMF process launching. See chocominer-app for the desktop application built on top of this.

pml_analyzer

Custom Crafter API supports to provide your full customized recipe to players.