Changed minizinc version used by AutoIG to a different version

stacs-cp / AutoIG

7 stars 2 forks source link

Changed minizinc version used by AutoIG to a different version #1

Open vincepick opened 3 months ago

vincepick commented 3 months ago

When running AutoIG inside a docker container, the older version of Minzinc being used conflicted with the version of GCC. This implementation uses a newer version of Minizinc to prevent this bug from occurring.