search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/no marking #60

Closed frejknutarlewander closed 2 years ago

frejknutarlewander commented 2 years ago

Added support for having no marking in o2i. The solver now uses a PropagationMode and a MarkingMode (none, topological sort, mark/sweep).

frejknutarlewander commented 2 years ago

I addressed all issues with new push