Global constraints wishlist

CPMpy / cpmpy

Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.

Apache License 2.0

218 stars 22 forks source link

Global constraints wishlist #433

Open Wout4 opened 11 months ago

Wout4 commented 11 months ago

There are more globals we want to add, post you wishlist below :)

SmartTable (just with wildcards in the values to start, can be extended more)
Regular (maybe with regex in stead of the whole transition table) These pop up in XCSP models, so would be nice to support them.

363734 commented 11 months ago

MDD
AtMost/AtLeast
NValue

Dimosts commented 11 months ago

NValues (as a global function, to be able to support both the == case and the <, >, <=, >= cases) Increasing (+strict case) Decreasing (+strict case) Knackpsack Bin_packing

Wout4 commented 2 months ago

A lot of these have been added with release 0.9.21 Still missing because allowing their reification is complicated: Knapsack, BinPacking, MDD, Regular But they live in a pull request if anyone wants to use them anyway.

363734 commented 2 months ago

MDD and Regular should work with reification as I found the solution at the end to make them work