Issues: chuffed/chuffed
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
"int-var.cpp:157: Cannot initialise vals in unbounded IntVar" with MiniZinc's
meal.mzn
bug
#163
opened Nov 21, 2023 by
metaleap
Wrong optimal solution reported when using the Steiner constraint
bug
#152
opened Jun 28, 2023 by
Samclou
Incorrect unsatisfiability with connected constraint
bug
#137
opened May 12, 2023 by
anonymous192837
chuffed_maximum_arg_bool not following MiniZinc interpretation
enhancement
#90
opened Jan 31, 2022 by
raphaelboudreault
Add script to run chuffed examples to ascertain whether compilation produced something acceptable
#80
opened Aug 5, 2021 by
dtonhofer
[Feature Request] Parallel version of Chuffed as discussed in Ehlers, Stuckey (2016)
enhancement
#66
opened Sep 23, 2020 by
corneliusroemer
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.