Closed olepoeschl closed 3 months ago
Just make both Solvers provide a method that writes the solver's progress state to / reads it from a file.
It might also be useful to write a class serving as a tool to just read and parse the data of such a file.
Also, SolverState is a bad name considering the new SolverExecutionState class.
Related to #100
Just make both Solvers provide a method that writes the solver's progress state to / reads it from a file.
It might also be useful to write a class serving as a tool to just read and parse the data of such a file.