chuffed / chuffed

The Chuffed CP solver

chuffed/chuffed Issues

indomain_middle, indomain_random are not supported.
Updated a month ago1
MiniZinc 2.8.3: "arithmetic.cpp:672: Cannot handle this case"
Updated a month ago
Updating chuffed's copyright claims
Closed 2 months ago4
SAT encoding, SAT translation from Minizinc
Closed 5 months ago2
clang-tidy: Performance checks not actually enabled
Closed 7 months ago1
AllDiffBounds with bounded variables : unexpected error
Updated 7 months ago
Docs for C++ API
Closed 7 months ago2
Incorrect solution at int32 overflow
Updated 7 months ago
"int-var.cpp:157: Cannot initialise vals in unbounded IntVar" with MiniZinc's `meal.mzn`
Updated 7 months ago
Chuffed returns `malloc(): Cannot allocate memory`
Closed 8 months ago2
error: use of undeclared identifier 'send'
Closed 8 months ago2
Wrong optimal solution reported when using the Steiner constraint
Updated a year ago2
seq_precede_chain, missing solution
Closed a year ago
The tree constraint cannot be posted while the steiner and dag constraints are posted incorrectly
Closed a year ago
warning: implicit conversion from 'long' to 'double' changes value from 9223372036854775807 to 9223372036854775808
Closed a year ago1
Solving always stops at the first restart when not using the new on_restart features
Closed a year ago2
value_precede_chain, missing solution
Closed a year ago2
Incorrect unsatisfiability with connected constraint
Updated a year ago
Using Minizinc option -t kills Chuffed before it prints output
Closed a year ago1
Connected constraint cannot be parsed
Closed a year ago1
Wrong number of solutions using cumulative
Closed a year ago
Bad behaviour of the product constraint
Closed a year ago
Unexpected unsatisfiability using lex_less
Closed a year ago2
Wrong number of solutions when using seq_precede_chain
Closed a year ago
Improve message when receiving unbounded IntVal
Updated a year ago2
[Feature Request] Parallel version of Chuffed as discussed in Ehlers, Stuckey (2016)
Updated a year ago2
On Windows, calling fzn-chuffed programmatically doesn't always have an output
Closed a year ago1
chuffed_maximum_arg_bool not following MiniZinc interpretation
Updated a year ago1
wrong number of solutions when using maximum, minimum, max, or min
Closed a year ago1
Segmentation Fault
Closed a year ago1
The new Chuffed is slower than before
Closed a year ago2
Unexpected crash
Closed a year ago1
Chuffed 0.11.0: collection of bugs found by fuzz testing
Closed a year ago2
Add support for negative numbers in for `div` and `mod`
Updated a year ago
Incorrect unsatisfiability
Closed a year ago7
parser.tab.h confusion: build picks the bundled file over the built one
Closed a year ago2
BUG: assert(value(p) != l_True) in the FD variable enqueue failed
Closed a year ago7
Assertion: void SAT::cEnqueue(Lit, Reason): Assertion `value(p) != l_True' failed.
Closed a year ago1
Julia provides precompiled binaries
Closed a year ago
array_int_element vs. gecode's element
Closed a year ago2
Building chuffed with parallel support
Closed a year ago1
chuffed.msc is installed into root instead of into share/minizinc/solvers where MiniZinc is looking for it
Closed a year ago1
Bad optimal solution reported
Closed 2 years ago1
Bad optimal solution reported (Cumulative constraint)
Closed 2 years ago1
Best solution so far is not output after interruption
Closed 2 years ago1
Building the tests on the "develop" branch fails
Closed 2 years ago1
Chuffed outputs no solution when using timeout
Closed 3 years ago3
Add script to run chuffed examples to ascertain whether compilation produced something acceptable
Updated 3 years ago
About priority_search and backjumps
Updated 3 years ago
How to Cite Your Tool?
Closed 3 years ago3