search

Gecode / gecode

Generic Constraint Development Environment
https://www.gecode.org
Other
283 stars 76 forks source link

Add minizinc `sum_set` to `gecode_set_weights` conversion #49

Closed bobot closed 4 years ago

bobot commented 5 years ago

Strangely it seems to be missing.

Caveat, sum_set of libminizinc has a typo in its flatzinc definition (MiniZinc/libminizinc#302). The informal definition agrees with gecode_set_weights.

bobot commented 5 years ago

@guidotack The branch targeted is now develop instead of master, I didn't know your convention was not to put the last developpement to the master branch.

guidotack commented 4 years ago

Sorry, I may have messed up the branch for the merge request, but I'll merge the changes manually into develop.