search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Fix/o2i marking #53

Closed frejknutarlewander closed 3 years ago

frejknutarlewander commented 3 years ago

Old pr: https://github.com/astra-uu-se/cbls/pull/51

frejknutarlewander commented 3 years ago

forgot to merge develop into this branch. Ill merge and then reopen