[overlords]

Constraint programming is the new way, with Minizinc as the language. OR-tools from google is the best current solver.

https://www.minizinc.org/