Skip to content

Issues: MiniZinc/MiniZincIDE

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

23 Open 160 Closed
23 Open 160 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Uninformative error when using gecode from Windows cmd
#206 opened Nov 3, 2024 by arekpaterak
5
Bundled or-tools in snap package is missing the required mznlib
#205 opened Oct 6, 2024 by CervEdin
1
Feature request: portable installation
#203 opened Jul 9, 2024 by DJuego
findMUS: two objective functions, different outputs
#202 opened May 7, 2024 by cprudhom
1
Gecode 6.3.0 incorrectly thinks model is unsat
#199 opened Apr 5, 2024 by Wout4
2
Crash when using sidebar / macOS 14.0 / M1
#190 opened Oct 19, 2023 by mslazynski
12
Feature request/bug report - Visualisation tool
#185 opened Jul 18, 2023 by Mommessc
3
Feature request: Turn off syntax highlighting
#179 opened Apr 26, 2023 by PerMildner
Some menu items disappears
#178 opened Apr 26, 2023 by PerMildner
2
Crash (when closing window?)
#177 opened Apr 11, 2023 by PerMildner
1
Data file in project not used.
#173 opened Mar 31, 2023 by vdijken
1
Minizinc IDE crashes
#168 opened Jan 20, 2023 by Pandoors
3
Feature request: if a variable or symbol is selected, highlight those variables or symbols everywhere in the text
#152 opened Aug 9, 2021 by dtonhofer
Feature request: Ability to switch off autocomplete
#150 opened Jul 23, 2021 by dtonhofer
Feature possibility: A way to get rid of whitespace accumulating at end-of-lines
#148 opened Jul 15, 2021 by dtonhofer
Minzinc crash
#147 opened Jun 6, 2021 by javierrodrigogomez
4
CP-Profiler outputs graph with visual lags
#145 opened Jun 1, 2021 by raphaelboudreault
The cheat-sheet window has no icon
#143 opened May 2, 2021 by yurivict
links in code boxes (and corresponding .dzn files) : open in separate windows
#135 opened Feb 12, 2021 by GerdaJan
2
"Save project as..." has potentially unintuitive behavior
#130 opened Dec 4, 2020 by zayenz
feature request: variables and parameters in different colours
#115 opened Oct 14, 2020 by Pierre-Flener
2
Gecode version in MSC file out of sync with actual Gecode version
#109 opened Jul 23, 2020 by ghost
Chuffed error at Compiler Optimisation Levels 4 and 5
#93 opened Oct 21, 2019 by markwallacemonash
ProTip! Type g i on any issue or pull request to go back to the issue listing page.