Constant boolector_sys::BtorSolverResult_BTOR_RESULT_UNSAT

source · 
pub const BtorSolverResult_BTOR_RESULT_UNSAT: BtorSolverResult = 20;