astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Small API changes for direct interaction from MiniZinc #152

Closed Dekker1 closed 7 months ago

Dekker1 commented 7 months ago

This PR makes some small changes to the interface of the FznBackend (and subsequently Statistics) so it can more easily be constructed and by MiniZinc internally