3 ms·Would me be nice to try this on lcg (CP-SAT) solversby cerved 8mo agoWould me be nice to try this on lcg (CP-SAT) solvers