Skip to content

Issues: MiniZinc/minizinc-python

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
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

Issues list

Unwanted use of --intermediate-solutions
#193 opened Jan 18, 2025 by informarte updated Feb 15, 2025
Solver.lookup ignores solver versions bug Something isn't working
#187 opened Dec 11, 2024 by informarte updated Dec 11, 2024
Usage of findMUS solver enhancement New feature or request
#13 opened Nov 26, 2020 by SantiagoQUINTANA updated Oct 17, 2024
Support for Python "infinity" value for MZNJSONEncoder enhancement New feature or request
#126 opened Jan 12, 2024 by raphaelboudreault updated Jan 29, 2024
keyboard interrupt enhancement New feature or request
#67 opened Nov 10, 2022 by hadipourh updated Nov 10, 2022
verbose parameter enhancement New feature or request help wanted Extra attention is needed
#68 opened Nov 10, 2022 by hadipourh updated Nov 10, 2022
Usage of IntEnum in array model input bug Something isn't working
#2 opened Oct 22, 2020 by Dekker1 updated Oct 22, 2020
ProTip! What’s not been updated in a month: updated:<2025-01-19.