MINIZINC EXAMPLES Below are some examples of restrictions problems solved using MiniZinc: https://www.minizinc.org/