A high-level, solver-independent, Java constraint model for constraint satisfaction problems in the integer domain.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool