[https://www.minizinc.org/ MiniZinc] is a constraint modeling language.