astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/rapidcheck #30

Closed frejknutarlewander closed 3 years ago

GustavBjordal commented 3 years ago

Great! Solves #29 !