I’m pretty sure that this will be useful for something but I’m not sure what…

MiniZinc is a free and open-source constraint modeling language. You can use MiniZinc to model constraint satisfaction and optimization problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints.

https://www.minizinc.org/doc-2.7.6/en/index.html