search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/o2i marking #51

Closed frejknutarlewander closed 3 years ago

frejknutarlewander commented 3 years ago

Simple Output-to-Input marking for Output-to-input probing