astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/max2 #33

Closed samuelbodin closed 3 years ago

samuelbodin commented 3 years ago

Implemented invariant Max2.

frejknutarlewander commented 3 years ago

You need to add test cases for your invariant