Allow solvers to output specific objects on solution and failure#47

Merged

Dekker1 merged 3 commits intopindakaashq:developfrom Dekker1:feat/solver_objects

Apr 26, 2024

+285-138

Commits on Apr 25, 2024

Make solvers expose specific value and fail objects rather that &dyn
Dekker1
committed

Commits on Apr 26, 2024

Expose propagator from the solution object when deriving IPASIR-UP
Dekker1
committed
Give SolverActions access when calling check_model and add_external_clause
Dekker1
committed