search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/fixpoint #160

Closed frejknutarlewander closed 3 months ago

frejknutarlewander commented 3 months ago

A gigantic, sanity draining, pull request to make Atlantis ready for the MiniZinc challenge 2024.