svenkonings/JaCoMo
A high-level, solver-independent, Java constraint model for constraint satisfaction problems in the integer domain.
JavaMPL-2.0
A high-level, solver-independent, Java constraint model for constraint satisfaction problems in the integer domain.
JavaMPL-2.0