Constant boolector_sys::BTOR_OPT_PROP_PROB_FLIP_COND

source · 
pub const BTOR_OPT_PROP_PROB_FLIP_COND: BtorOption = 57;