search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/cycle breaking #106

Closed frejknutarlewander closed 2 years ago

frejknutarlewander commented 2 years ago

Stupid cycle detection.

Refactored away variableMap from the invariant graph

Starting point for reified constraints