-
Notifications
You must be signed in to change notification settings - Fork 76
Issues: Gecode/gecode
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
release/6.3.0
branch: Minizinc 2.8.5 test tests/spec/unit/test-globals-float.mzn
causes OOM
#199
opened Aug 22, 2024 by
LebedevRI
Simple MiniZinc float var model does not produce solution in a reasonable time-frame
#164
opened May 2, 2023 by
ptal
Memory leak of solutions at Engine in a multi-threading context
bug
#156
opened Jan 5, 2023 by
alex-87
Options::parse() should complain about unsupported options and should print help
#144
opened Jan 27, 2022 by
yurivict
nooverlap hangs with number of points exceeding the size of the area
#143
opened Jan 26, 2022 by
yurivict
nooverlap: zero-sized rectangles overlap contrary to what documentation says
bug
#142
opened Jan 26, 2022 by
yurivict
It isn't clear from the 'check' target that the check succeeded
feature request
#141
opened Jan 19, 2022 by
yurivict
Gecode website: On the index page, the link to "Global Constraint Catalog" is dead
#126
opened Aug 4, 2021 by
dtonhofer
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.