search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/improved unittests #87

Closed frejknutarlewander closed 2 years ago

frejknutarlewander commented 2 years ago

Improved unit tests for invariants and constraints to be easier to test more, be easier to understand, and consistent