Group: Choco Solver
Sort by:Popular

1.Choco Solver35 usages

org.choco-solver » choco-solver BSD

Open-source constraint solver.
Last Release on May 6, 2026

2.Choco Parsers2 usages

org.choco-solver » choco-parsers BSD

Provide parsers from FlatZinc, XCSP3 and MSP to Choco-solver.
Last Release on May 6, 2026

3.Choco

org.choco-solver » choco BSD

A Free and Open-Source library dedicated to Constraint Programming.
Last Release on May 6, 2026

4.Examples

org.choco-solver » examples BSD

Choco-solver in practice
Last Release on Jan 27, 2025

5.Pf4cs2 usages

org.choco-solver » pf4cs BSD

Problem facade for constraint solvers.
Last Release on Jan 20, 2017
Geost constraint, developped for Choco3.
Last Release on Oct 6, 2017
A graph module for Choco Solver.
Last Release on Mar 5, 2018

8.Choco SAT1 usages

org.choco-solver » choco-sat BSD

A SAT solver, used internally in choco-solver
Last Release on Dec 11, 2020

9.Cutoffseq1 usages

org.choco-solver » cutoffseq BSD

Cutoff sequence generator.
Last Release on Aug 27, 2020

10.A Cpviz Extension For Choco3

org.choco-solver » choco-cpviz BSD

A cp-viz extension for Choco 3.
Last Release on Dec 5, 2014

11.A GUI For Choco3

org.choco-solver » choco-gui BSD

A Graphical User Interface to plug on Choco 3.
Last Release on Dec 5, 2014

12.Choco Samples

org.choco-solver » choco-samples BSD

Choco Samples
Last Release on Dec 22, 2015