/chocosolver

Alternative backend for Clafer using the Choco solver.

Primary LanguageJava

Watchers