minizinc/minizinc.github.io issues and pull requests

#28 - Bump rexml from 3.2.4 to 3.2.5

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#28 - Bump rexml from 3.2.4 to 3.2.5

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#27 - Bump nokogiri from 1.10.10 to 1.11.2

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#27 - Bump nokogiri from 1.10.10 to 1.11.2

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#26 - Section 4.2.3 accidentally shrunk?

Issue - State: open - Opened by Pierre-Flener about 4 years ago

#26 - Section 4.2.3 accidentally shrunk?

Issue - State: open - Opened by Pierre-Flener about 4 years ago

#25 - Add challenge 2020 problems

Pull Request - State: closed - Opened by cyderize about 4 years ago

#25 - Add challenge 2020 problems

Pull Request - State: closed - Opened by cyderize about 4 years ago

#24 - AUST-ENUM (Fig 14) Is a Broken Link

Issue - State: open - Opened by cswor about 4 years ago

#24 - AUST-ENUM (Fig 14) Is a Broken Link

Issue - State: open - Opened by cswor about 4 years ago

#23 - Bump nokogiri from 1.10.4 to 1.10.8

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies

#23 - Bump nokogiri from 1.10.4 to 1.10.8

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies

#22 - typo in date for news about challenge results

Pull Request - State: closed - Opened by jaywgraves almost 5 years ago

#22 - typo in date for news about challenge results

Pull Request - State: closed - Opened by jaywgraves almost 5 years ago

#21 - Bump rubyzip from 1.2.3 to 2.0.0

Pull Request - State: closed - Opened by dependabot[bot] about 5 years ago
Labels: dependencies

#21 - Bump rubyzip from 1.2.3 to 2.0.0

Pull Request - State: closed - Opened by dependabot[bot] about 5 years ago
Labels: dependencies

#20 - MiniZinc Challenge 2016 - error: array index mismatch

Issue - State: closed - Opened by PatrickTrentin88 about 5 years ago - 2 comments

#20 - MiniZinc Challenge 2016 - error: array index mismatch

Issue - State: closed - Opened by PatrickTrentin88 about 5 years ago - 2 comments

#19 - Bump nokogiri from 1.10.3 to 1.10.4

Pull Request - State: closed - Opened by dependabot[bot] about 5 years ago
Labels: dependencies

#19 - Bump nokogiri from 1.10.3 to 1.10.4

Pull Request - State: closed - Opened by dependabot[bot] about 5 years ago
Labels: dependencies

#18 - Broken link on Windows installer page

Issue - State: open - Opened by jarble over 5 years ago - 1 comment

#18 - Broken link on Windows installer page

Issue - State: open - Opened by jarble over 5 years ago - 1 comment

#17 - MiniZincIDE-2.2.3-bundled-setup-win64.exe contains virus

Issue - State: closed - Opened by kuitpo almost 6 years ago - 1 comment

#16 - Broken links to documentation

Issue - State: closed - Opened by jarble almost 6 years ago - 3 comments

#16 - Broken links to documentation

Issue - State: closed - Opened by jarble almost 6 years ago - 3 comments

#15 - Dead link for Miningzinc repository

Issue - State: closed - Opened by LucFontaine about 6 years ago - 3 comments

#15 - Dead link for Miningzinc repository

Issue - State: closed - Opened by LucFontaine about 6 years ago - 3 comments

#14 - Main page links to nonexistent Windows 32 bits version

Issue - State: closed - Opened by siritinga about 6 years ago

#13 - Several tutorial versions

Issue - State: closed - Opened by Pierre-Flener over 6 years ago - 6 comments

#11 - dead link

Issue - State: closed - Opened by oferst over 6 years ago

#10 - Incompatible Gecode globals definitions in the Mac bundle

Issue - State: closed - Opened by Alexander-Schiendorfer almost 7 years ago

#9 - Stochastic Minizinc Not Found

Issue - State: open - Opened by lteu almost 7 years ago

#8 - libminizinc repo not found

Issue - State: closed - Opened by miguel-ribeiro about 7 years ago

#7 - http://www.minizinc.org/10years.html

Issue - State: open - Opened by markwallacemonash about 7 years ago

#6 - Invalid HTTPS certificate on https://minizinc.org/

Issue - State: closed - Opened by Zero3 over 7 years ago

#5 - MiniZinc tutorial doesn't have the version number associated with the sofwtare to which it applies.

Issue - State: closed - Opened by cosereagheorghe over 7 years ago - 1 comment

GitHub / minizinc/minizinc.github.io issues and pull requests