Group: org.choco-solver - All Dependencies

choco-solver · Open-source constraint solver.

choco-sat · A SAT solver, used internally in choco-solver

pf4cs · Problem facade for constraint solvers.

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

Geost constraint, developed for Choco3 · Geost constraint, developped for Choco3.

cutoffseq · Cutoff sequence generator.

A graph module for Choco Solver · A graph module for Choco Solver.

choco · A Free and Open-Source library dedicated to Constraint Programming.

examples · Choco-solver in practice

A cpviz extension for Choco3 · A cp-viz extension for Choco 3.

A GUI for Choco3 · A Graphical User Interface to plug on Choco 3.