Integrate Choco constraint solver library.