reordered statements in apply in InvariantGraph

astra-uu-se / atlantis

CBLS solver

2 stars 1 forks source link

Closed frejknutarlewander closed 2 years ago

frejknutarlewander commented 2 years ago

compute bounds should be done after posting invariants/constraints. BreakCycleTest was incorrect