4.0.0 org.choco-solver choco 4.10.6 choco-sat jar choco-sat A SAT solver, used internally in choco-solver .${file.separator}..