Enum SolverExitState

• Defined in File primitive_types.h

Enum Documentation

enum SolverExitState

Enumerated class the stores the result of a solver execution. It is returned by the Solver::countSAT method. It is also stored as part of the run statistics in

See

DataAndStatistics#

Values:

NO_STATE

SUCCESS