astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Fix/gcc refactoring #145

Closed frejknutarlewander closed 8 months ago

frejknutarlewander commented 8 months ago

Removed unused GCC constraints.

The closed variant can be made by restricting the domains of the input variables

The reified versions can be made by combining reified setIn, integer equalities, and global cardinality (low, up)