Simplified solver interface for adding new solvers#82
Merged
alberto-carta merged 10 commits intounstable from solver_interface_refactoringAug 20, 2024
+1,859-1,565
Commits
Commits on Aug 2, 2024
Commits on Aug 6, 2024
Commits on Aug 8, 2024
Commits on Aug 19, 2024
Commits on Aug 20, 2024
- committedAlexander Hampel
- committedAlexander Hampel