astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/optimization #93

Closed maartenflippo closed 2 years ago

maartenflippo commented 2 years ago

Handle the objective variable in the model by tightening an upper- (or lower-) bound when new a new solution is found. This PR also adds LTO for release builds (a small change to CMakeLists).