Constant boolector_sys::BTOR_OPT_PROP_PROB_CONC_FLIP

source · 
pub const BTOR_OPT_PROP_PROB_CONC_FLIP: BtorOption = 62;