search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Fix/fzn challange models #161

Closed frejknutarlewander closed 2 months ago

frejknutarlewander commented 2 months ago

addressing issues found when running previous MiniZinc challenges