Project Group: org.choco-solver

choco-solver

org.choco-solver : choco-solver

Open-source constraint solver.

Last Version: 4.10.8

Release Date: Jan 10, 2022

choco-parsers

org.choco-solver : choco-parsers

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

Last Version: 4.10.8

Release Date: Jan 10, 2022

choco

org.choco-solver : choco

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

Last Version: 4.10.8

Release Date: Jan 10, 2022

examples

org.choco-solver : examples

Choco-solver in practice

Last Version: 4.10.8

Release Date: Jan 10, 2022

choco-sat

org.choco-solver : choco-sat

A SAT solver, used internally in choco-solver

Last Version: 4.10.6

Release Date: Dec 11, 2020

cutoffseq

org.choco-solver : cutoffseq

Cutoff sequence generator.

Last Version: 1.0.6

Release Date: Aug 27, 2020

A graph module for Choco Solver

org.choco-solver : choco-graph

A graph module for Choco Solver.

Last Version: 4.2.2

Release Date: Mar 5, 2018

Geost constraint, developed for Choco3

org.choco-solver : choco-geost

Geost constraint, developped for Choco3.

Last Version: 4.0.5

Release Date: Oct 6, 2017

pf4cs

org.choco-solver : pf4cs

Problem facade for constraint solvers.

Last Version: 1.0.5

Release Date: Jan 20, 2017

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: Dec 22, 2015

A cpviz extension for Choco3

org.choco-solver : choco-cpviz

A cp-viz extension for Choco 3.

Last Version: 3.3.0

Release Date: Dec 5, 2014

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: Dec 5, 2014