2 ms·
Yep - i thought / hoped / assumed it was about Optimizers aka Sat solvers, etc A la https://github.com/google/or-tools https://github.com/google/or-tools
by pstoll 2y ago
Yep - i thought / hoped / assumed it was about Optimizers aka Sat solvers, etc
A la https://github.com/google/or-tools https://github.com/google/or-tools