Open-source constraint solver.

Compile Dependencies (6)

Category/LicenseGroup / ArtifactVersionUpdates
com.github.cp-profiler » cpprof-java
The library to be used to allow profiling constraint programming solvers written in Java using cp-profiler ...
1.3.0
BSD
dk.brics.automaton » automaton
This package contains a full DFA/NFA implementation with Unicode
1.11-81.12-4
Collections LGPL 2.1
net.sf.trove4j » trove4j
High performance collections for Java
3.0.33.1.0
BSD
org.choco-solver » choco-sat
A SAT solver, used internally in choco-solver
1.0.24.10.6
BSD
org.choco-solver » cutoffseq
Cutoff sequence generator.
1.0.21.0.6
EPL 1.0 +1
org.javabits.jgrapht » jgrapht-core0.9.3

Test Dependencies (1)

Category/LicenseGroup / ArtifactVersionUpdates
Testing Apache 2.0
org.testng » testng
TestNG is a testing framework inspired from JUnit and NUnit but introducing some new functionalities that make it more ...
6.117.12.0