search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

fixed exists unit test #137

Closed frejknutarlewander closed 1 year ago

frejknutarlewander commented 1 year ago

must have forgotten to test locally