MiniZinc is a constraint modeling language.