schutta

Compilation problems

4

Retrieved this email from a user: "Hi I have started running all problems in the minizinc-benchmarks dataset. I have found a few problems that do not compile with mzn2fzn or...

MiniZinc IDE overrides installation information in Windows when keeping current installed one

1

Last year, I installed MiniZinc IDE 2.3.2 on my Windows machine in C:\Program Files\MiniZinc using the Windows executable provided at minizinc.org. This version I wanted to keep installed. Therefore I...

Add an option for installation of the IDE when installing MiniZinc via the Bundle

1

The MiniZinc bundled binary package (see https://www.minizinc.org/software.html) includes the MiniZinc IDE. Not every one is interested in the IDE, but in the MiniZinc compiler and the bundled binary solver packages....

In scheduling problems, you may want to select a start variable of task that is on the critical path, i.e., a task with the longest tail. Normally, this is reflected...