search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/refactor reified #102

Closed frejknutarlewander closed 2 years ago

frejknutarlewander commented 2 years ago

I merged each constraint and its reified version

Removed some unneeded member variables from invariant graph nodes

i split invariant graph node variable member inputs into the two members staticInputs and dynamicInputs