Constant boolector_sys::BtorSolverResult_BTOR_RESULT_UNKNOWN

source · 
pub const BtorSolverResult_BTOR_RESULT_UNKNOWN: BtorSolverResult = 0;