Move minizinc installation instruction in "known issues" (#438) Minizinc is not mandatory anymore so should not be the first thing people see in installation instructions. We let it in the known issues to ease its installation for people needing it.
Move minizinc installation instruction in "known issues" (#438) Minizinc is not mandatory anymore so should not be the first thing people see in installation instructions. We let it in the known issues to ease its installation for people needing it.