Uses of Class
org.smtlib.SolverProcess.ProverException

Packages that use SolverProcess.ProverException

Package	Description
org.smtlib	This package contains the main classes and abstract interfaces for this SMT-LIB tool; the tool provides a stand-alone SMT-LIB-compliant command-line application, an application that responds to SMT-LIB commands over a network port, and an SMT-LIB Java API.

Uses of SolverProcess.ProverException in org.smtlib

Methods in org.smtlib that throw SolverProcess.ProverException

Modifier and Type	Method	Description
void	SolverProcess.start(boolean listen)	Starts the process; if the argument is true, then also listens to its output until a prompt is read.