Scala wrapper for Choco constraint solver