Enable pickling of `Solver` and `SolverPtr`#2987

Merged

dweindl merged 1 commit intoAMICI-dev:mainfrom

dweindl:pickle_solver

Oct 27, 2025

Commits on Oct 27, 2025

Enable pickling of `Solver` and `SolverPtr`
dweindl
committed