Constant boolector_sys::BTOR_OPT_PROP_FLIP_COND_CONST_DELTA

source · 
pub const BTOR_OPT_PROP_FLIP_COND_CONST_DELTA: BtorOption = 59;