jacomo
0.1
JaCoMo · A high-level, solver-independent, Java constraint model for constraint satisfaction problems in the integer domain.
JaCoMo · A high-level, solver-independent, Java constraint model for constraint satisfaction problems in the integer domain.
JaCoMo OR-Tools solver · JaCoMo solver implementation using OR-Tools CP-SAT solver.
JaCoMo Choco-solver solver · JaCoMo solver implementation using Choco-solver.