search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Fznparser/shared ptr #155

Closed frejknutarlewander closed 7 months ago

frejknutarlewander commented 7 months ago

applying the changes from the FZN parser to Atlantis