-
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
max(array [$U] of $T) returns var if $T is optional
bug
resolved
Issue is resolved and the feature or fix will be part of next release
#848
opened Sep 17, 2024 by
CervEdin
Fake floating numbers using integers when the backend does not support them
enhancement
#847
opened Sep 17, 2024 by
tobiasBora
Optional implication -> compiler error "unexpected absent literal"
bug
#845
opened Sep 16, 2024 by
CervEdin
Index set mismatch in comparisson of empty mutlideminsional arrays
bug
#844
opened Sep 16, 2024 by
CervEdin
MiniZinc::simplify_bool_constraint()
: Assertion 'nonfixed >= 0' failed.
#843
opened Sep 4, 2024 by
LebedevRI
Segfault when searching on paramater and concatenating search annotations
bug
#842
opened Sep 2, 2024 by
CervEdin
Overloading ++, show2d Error: evaluation error: index_set: wrong dimension
bug
#840
opened Aug 29, 2024 by
CervEdin
Please consider providing Graph Reachability Matrix predicate
enhancement
#837
opened Aug 27, 2024 by
LebedevRI
cplex objective is incorrect for a problem solved at the root node
bug
#841
opened Aug 20, 2024 by
lquesada1975
./lib/flatten.cpp:2833: MiniZinc::KeepAlive MiniZinc::bind(EnvI&, Ctx, VarDecl*, Expression*): Assertion Expression::type(e).isbool()' failed
bug
resolved
#832
opened Aug 18, 2024 by
LebedevRI
Feature request: circumvent naming clashes when including models
enhancement
#831
opened Aug 15, 2024 by
Kjarar
void MiniZinc::Type::ot(const OptType&): Assertion 'o == OT_PRESENT || !structBT() || typeId() == 0' failed.
bug
resolved
#830
opened Aug 14, 2024 by
LebedevRI
EnumEntry
in
anotherEnum
is incorrect?
bug
resolved
#828
opened Aug 6, 2024 by
LebedevRI
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
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.