Package org.evosuite.symbolic.solver

Class Summary

Class	Description
DistanceEstimator	Abstract DistanceEstimator class.
ResultParser
SmtExprBuilder
Solver	Interface for SMT solvers
SolverCache
SolverFactory
SolverResult
SubProcessSolver

Exception Summary

Exception	Description
SolverEmptyQueryException
SolverErrorException
SolverParseException
SolverTimeoutException