public interface ProverEnvironment extends BasicProverEnvironment<Void>
BasicProverEnvironment.close() method should be called (preferably using the try-with-resources
syntax). All methods are expected to throw IllegalStateExceptions after close was called.
All solving methods are expected to throw SolverException if the solver fails to solve
the given query, and InterruptedException if a thread interrupt was requested or a
shutdown request via the ShutdownNotifier. It is not guaranteed, though, that solvers
respond in a timely manner (or at all) to shutdown or interrupt requests.
BasicProverEnvironment.AllSatCallback<R>NO_MODEL_HELPaddConstraint, allSat, close, getModel, getModelAssignments, getUnsatCore, isUnsat, isUnsatWithAssumptions, pop, push, push, unsatCoreOverAssumptions