{{language|MiniZinc}} {{stub}} [https://www.minizinc.org/ MiniZinc] is a constraint modeling language.