-
Notifications
You must be signed in to change notification settings - Fork 78
Issues: MiniZinc/libminizinc
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
Assertion
typeId() == 0 || dim() == d' failed.`
bug
resolved
#826
opened Jul 29, 2024 by
LebedevRI
Linearized model leads to UNSAT or unfeasible solutions given the bound
#825
opened Jul 22, 2024 by
raphaelboudreault
Missing option '-f/--free-search' in flags of command line help
#824
opened Jul 22, 2024 by
raphaelboudreault
Quoted identifiers are missing quotes in output dzn
bug
resolved
Issue is resolved and the feature or fix will be part of next release
#823
opened Jul 14, 2024 by
jmjrawlings
Can't use interger literal -9223372036854775808
bug
resolved
Issue is resolved and the feature or fix will be part of next release
#822
opened Jul 12, 2024 by
CervEdin
Partial assignment of enum var results in type error
bug
resolved
Issue is resolved and the feature or fix will be part of next release
#821
opened Jul 9, 2024 by
CervEdin
Apparent mishandling of nested Issue is resolved and the feature or fix will be part of next release
opt
declarations in the JSON interface
bug
resolved
#818
opened Jun 5, 2024 by
Rojods
Feature request: truncating float to int coercion
enhancement
#796
opened Mar 25, 2024 by
matsc-at-sics-se
Overloading functions causes collision when using record Type-inst
bug
#794
opened Mar 11, 2024 by
CervEdin
[Snap] Add support for reverting to older versions of bundled MiniZinc
bundle
enhancement
#790
opened Feb 1, 2024 by
raphaelboudreault
How to specify an included file when solving from FZN (for
findMUS
)
#789
opened Jan 29, 2024 by
raphaelboudreault
2.8.2: inconsistent behavior of many globals on empty arrays
bug
enhancement
#770
opened Dec 18, 2023 by
matsc-at-sics-se
2.8.1: Compiler sometimes emits considerably more constraints than 2.7.6
#757
opened Nov 29, 2023 by
informarte
Enhancement: Add MIP solvers extra flags in --help
enhancement
#742
opened Nov 3, 2023 by
raphaelboudreault
Feature request: syntax for lexicographic and Pareto optimality
enhancement
#741
opened Oct 31, 2023 by
matsc-at-sics-se
Previous Next
ProTip!
Find all open issues with in progress development work with linked:pr.