search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/mzn models #100

Closed frejknutarlewander closed 2 years ago

frejknutarlewander commented 2 years ago

I added some basic MiniZinc model files that can be flattened using the makefile.

I did some minor refactoring to be able to easily create unit test benchmarks for the added MiniZinc model files.