Uses of Record Class
org.smtlib.SolverResolver.Resolution

Packages that use SolverResolver.Resolution

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 SolverResolver.Resolution in org.smtlib

Methods in org.smtlib that return SolverResolver.Resolution

Modifier and Type	Method	Description
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 .