Project Group: org.choco-solver

choco-solver

org.choco-solver : choco-solver

Open-source constraint solver.

Last Version: 4.10.8

Release Date:

choco-parsers

org.choco-solver : choco-parsers

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

Last Version: 4.10.8

Release Date:

choco

org.choco-solver : choco

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

Last Version: 4.10.8

Release Date:

examples

org.choco-solver : examples

Choco-solver in practice

Last Version: 4.10.8

Release Date:

choco-sat

org.choco-solver : choco-sat

A SAT solver, used internally in choco-solver

Last Version: 4.10.6

Release Date:

cutoffseq

org.choco-solver : cutoffseq

Cutoff sequence generator.

Last Version: 1.0.6

Release Date:

Last Version: 4.2.2

Release Date:

Geost constraint, developed for Choco3

org.choco-solver : choco-geost

Geost constraint, developped for Choco3.

Last Version: 4.0.5

Release Date:

pf4cs

org.choco-solver : pf4cs

Problem facade for constraint solvers.

Last Version: 1.0.5

Release Date:

org.choco-solver:choco-samples

org.choco-solver : choco-samples

Choco is a Free and Open-Source Software dedicated to Constraint Programming. It aims at describing real combinatorial problems in the form of Constraint Satisfaction Problems and to solve them with Constraint Programming techniques.

Last Version: 3.3.3-j7

Release Date:

Last Version: 3.3.0

Release Date:

A GUI for Choco3

org.choco-solver : choco-gui

A Graphical User Interface to plug on Choco 3.

Last Version: 3.3.0

Release Date:

  • 1