Hacker News new | ask | show | jobs
by pstoll 584 days ago
Yep - i thought / hoped / assumed it was about Optimizers aka Sat solvers, etc

A la https://github.com/google/or-tools