Download org.choco-solver JAR files with all dependencies
choco-solver from group org.choco-solver (version 4.10.17)
choco-parsers from group org.choco-solver (version 4.10.17)
Provide parsers from FlatZinc, XCSP3 and MSP to Choco-solver.
choco from group org.choco-solver (version 4.10.17)
A Free and Open-Source library dedicated to Constraint Programming.
Group: org.choco-solver Artifact: choco
Show documentation
Show documentation
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
examples from group org.choco-solver (version 4.10.17)
Choco-solver in practice
choco-sat from group org.choco-solver (version 4.10.6)
A SAT solver, used internally in choco-solver
cutoffseq from group org.choco-solver (version 1.0.6)
Cutoff sequence generator.
choco-gui from group org.choco-solver (version 3.3.0)
A Graphical User Interface to plug on Choco 3.
Page 3 from 3 (items total 37)
© 2015 - 2025 Weber Informatics LLC | Privacy Policy