astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/bottom up fix #38

Closed GustavBjordal closed 3 years ago

GustavBjordal commented 3 years ago

Bottom up exploration assumed that the first variable returned by expandInvariant should always be explored, even when not on the propagation path. This fixes this issue and should make bottom up propagation more efficient.