Uses of Class
org.smtlib.ISolver.CreationException

Packages that use ISolver.CreationException

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 ISolver.CreationException in org.smtlib

Methods in org.smtlib that throw ISolver.CreationException

Modifier and Type	Method	Description
ISolver	SMT.Configuration.createSolver(String solvername, String executable)	Resolves the given solver name and executable to a concrete ISolver adapter instance, applying the same name/executable/adapter resolution jsmtlib.properties supports as SMT.startSolver(org.smtlib.SMT.Configuration, java.lang.String, java.lang.String) -- platform-specific .adapter/.exec overrides checked before their bare counterparts, the Solver_<name> naming convention, the z3-specific Solver_z3_recent fallback for an unrecognized z3 variant, the generic Solver_smt fallback, the "test" pseudo-solver special case, and %exec% command-array placeholder substitution -- but, unlike startSolver, this method does not start the solver and does not do any CLI-flavored error()/usage() reporting: any resolution or construction failure is reported as a thrown ISolver.CreationException instead, leaving it to the caller to start the returned solver (via ISolver.start()) and decide how to report a creation failure.
static SolverResolver.Resolution	SolverResolver.resolve(Properties props, String solvername, String executable, String platform, String solverDir, Function<String,Class<?>> classLookup)	Resolves the solver: the adapter: a .adapter.<platform> property, then .adapter (an error if the class it names is not found); else the class Solver_<name> (with - and .