astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/invariant graph base #143

Closed frejknutarlewander closed 9 months ago

frejknutarlewander commented 9 months ago

This insane refactoring can be divided into two areas:

The design for the Fzn backend might not be final: the backend could become a class where each Fzn constraint becomes one or more methods.

Additionally, tests have been modified and added where needed.