search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/topdown propagation #7

Closed GustavBjordal closed 4 years ago

GustavBjordal commented 4 years ago

First simple propagation algorithm