Constant boolector_sys::BTOR_OPT_PROP_PROB_FLIP_COND_CONST

source · 
pub const BTOR_OPT_PROP_PROB_FLIP_COND_CONST: BtorOption = 58;