Georgy Savidov

Could I use corresponding `SolverContext` after shutdown and try to solve other set of constraints with new prover?

I'll definitely try to use the same context tomorrow) And if it doesn't work, it seems impossible to reuse previously generated constraints in new CVC5 context due to the unimplemented...

So using the same `SolverContext` after the shutdown request causes all subsequent calls to `isUnsat` to throw `InterruptedException` (not immediately. Maybe it solves the passed constraints, but it does not...