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