search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Fix/register invariant input #59

Closed frejknutarlewander closed 2 years ago

frejknutarlewander commented 2 years ago

Adding asserts for the Invariant Modified/Notified Input Variables Queue