search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/less than #43

Closed samuelbodin closed 3 years ago

samuelbodin commented 3 years ago

Based on LessThan. Violation count adds 1 in max().

GustavBjordal commented 3 years ago

Maybe it would be better to just change lessEqual to have an offset to that it is a + offset < b. But this is good enough for now.