Indexed Artifacts (28.1M)

Popular Categories

Group: Choco Solver

Sort: popular | newest

1. Choco Solver24 usages

org.choco-solver » choco-solverBSD

Open-source constraint solver.
Last Release on Jan 10, 2022

2. Pf4cs2 usages

org.choco-solver » pf4csBSD

Problem facade for constraint solvers.
Last Release on Jan 20, 2017

3. Choco Parsers2 usages

org.choco-solver » choco-parsersBSD

Provide parsers from FlatZinc, XCSP3 and MSP to Choco-solver.
Last Release on Jan 10, 2022
Geost constraint, developped for Choco3.
Last Release on Oct 6, 2017

5. Choco SAT1 usages

org.choco-solver » choco-satBSD

A SAT solver, used internally in choco-solver
Last Release on Dec 11, 2020
A graph module for Choco Solver.
Last Release on Mar 5, 2018

7. Cutoffseq1 usages

org.choco-solver » cutoffseqBSD

Cutoff sequence generator.
Last Release on Aug 27, 2020

8. A GUI For Choco3

org.choco-solver » choco-guiBSD

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

9. Choco Samples

org.choco-solver » choco-samplesBSD

Choco Samples
Last Release on Dec 22, 2015

10. Choco

org.choco-solver » chocoBSD

A Free and Open-Source library dedicated to Constraint Programming.
Last Release on Jan 10, 2022

11. A Cpviz Extension For Choco3

org.choco-solver » choco-cpvizBSD

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

12. Examples

org.choco-solver » examplesBSD

Choco-solver in practice
Last Release on Jan 10, 2022