Consume solver results#608

Merged

MMory merged 3 commits intodevelopmentfrom

f-ConsumeSolverResults

Apr 20, 2023

Commits on Apr 3, 2023

Change solver-config default to not implicitly record the ESG edges anymore
fabianbs96
committed
Allow moving the SolverResults out of the IDESolver
fabianbs96
committed
Move some more results code from IDESolver to SolverResults
fabianbs96
committed