Compile Dependencies (6)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
| 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-8 | 1.12-4 | |
Collections
LGPL 2.1
| net.sf.trove4j
»
trove4j High performance collections for Java | 3.0.3 | 3.1.0 | |
BSD
| org.choco-solver
»
choco-sat A SAT solver, used internally in choco-solver | 1.0.2 | 4.10.6 | |
BSD
| org.choco-solver
»
cutoffseq Cutoff sequence generator. | 1.0.2 | 1.0.6 | |
EPL 1.0 +1
| org.javabits.jgrapht » jgrapht-core | 0.9.3 | ✔ |
Test Dependencies (1)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
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.11 | 7.12.0 |