Jar C choco-solver