Below are some examples of restrictions problems solved using MiniZinc: https://www.minizinc.org/
aldexdev/minizinc-examples
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Below are some examples of restrictions problems solved using MiniZinc: https://www.minizinc.org/