search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Reimplement Topolgy #81

Closed frejknutarlewander closed 9 months ago

frejknutarlewander commented 2 years ago

Topology does not fully correspond to the implementation of Localizer/Comet.

In order to do that we need to partition the VarIds into levels, and then topologically sort levels during propagation.

In order to partition and topologically sort each invariant (or constraint) and each input of that invariant need to be flagged as dynamic or static

frejknutarlewander commented 9 months ago

this has been addressed