nl.svenkonings.jacomo:jacomo (maven): A high-level, solver-independent, Java constraint model for constraint satisfaction problems in the integer domain.
Keywords: constraint-model|constraint-optimisation-problem|constraint-programming|constraint-satisfaction-problem|constraint-solver|constraints|csp|java|java-constraint-model|solver