Yep - i thought / hoped / assumed it was about Optimizers aka Sat solvers, etc

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