Package Usage: maven: org.choco-solver:choco-sat
A SAT solver, used internally in choco-solver
6 versions
Latest release: over 4 years ago
2 dependent packages
View more package details: https://packages.ecosystem.code.gouv.fr/registries/repo1.maven.org/packages/org.choco-solver:choco-sat