search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/improved invariantgraph #109

Closed frejknutarlewander closed 2 years ago

frejknutarlewander commented 2 years ago

I added some missing invariants/constraints: Count, CountConst, missing Boolean binary constraints, and missing int binary constraints.

All (soft) constraints can now take a constant if the constraint is to hold or not (default is for the constraint to hold) This does not make sense for int_eq_reif(a, b, false) as that is identical to int_ne_reif(a, b), but now it is done.

Added GreaterThanView and LessEqualView