MiniZinc is a declarative, high-level constraint modelling language used to specify constraint-satisfaction and optimisation problems independently of any particular solver.