[][src]Constant boolector_sys::BtorOption_BTOR_OPT_PROP_PROB_AND_FLIP

pub const BtorOption_BTOR_OPT_PROP_PROB_AND_FLIP: BtorOption