Python bindings for Google Optimization Tools (a.k.a., OR-Tools). WWW: https://github.com/google/or-tools