search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/bool constraints v2 #95

Closed maartenflippo closed 2 years ago

maartenflippo commented 2 years ago

Closes #94, and handles the bool_* constraints without additional reifications.