Home » org.choco-solver » choco-sat

Choco SAT

A SAT solver, used internally in choco-solver
LicenseBSD
Tagssolver
Ranking
#732883in MvnRepository
HomePage http://choco-solver.org/ 🔍 Inspect URL
Links

Latest Versions

6 versions →
VersionVulnerabilitiesUsagesDate
4.10.x
4.10.6
1
Dec 11, 2020
4.10.5
1
Oct 02, 2020
4.10.4
0
Sep 08, 2020
1.0.x
1.0.2
1
Mar 11, 2016
1.0.1
0
Mar 10, 2016
1.0.0
0
Mar 07, 2016
6 versions →