astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/refactoring #142

Closed frejknutarlewander closed 1 year ago

frejknutarlewander commented 1 year ago

Big refactoring commit.

Namespaces Added the base namespace atlantis Added the namespace propgation to the solver

Renaming Renamed the previous Solver to FznBackend Renamed Engine to SolverBase Renamed PropagationEngine to Solver Renamed invariant constraint to violation invariant Shortened variable/variables to var/vars (to be consistent with rest of project and with MiniZinc).

Other Removed forward declarations where they were not needed Moved include definitions to header file where possible