astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Disallow any constraints with 'var set' or 'float' variables. #86

Closed maartenflippo closed 2 years ago

maartenflippo commented 2 years ago

To make the solver a bit more robust, indicate we want to abort flattening for any float or set variable constraints.

maartenflippo commented 2 years ago

This now also defines all the boolean constraints in terms of integer constraints. A consequence of this is a bunch of reification and bool2int, so supporting these constraints natively is probably something we should strive for. However, for now it means all of the flatzinc constraints we intend to support are supported in some way.