3 ms·
It is possible that something like CP-SAT (https://developers.google.com/optimization/cp https://developers.google.com/optimization/cp) would have scaled well i
by polivier 3y ago
It is possible that something like CP-SAT (https://developers.google.com/optimization/cp https://developers.google.com/optimization/cp) would have scaled well in your case. This solver easily handles an absurd amount of variables and constraints, and has excellent heuristics built-in.