2 ms·Found minizinc/CP-SAT recently and I’m obsessedby chamomeal 22d agoFound minizinc/CP-SAT recently and I’m obsessed