Constant boolector_sys::BtorSolverResult_BTOR_RESULT_SAT

source · 
pub const BtorSolverResult_BTOR_RESULT_SAT: BtorSolverResult = 10;