Constant boolector_sys::BTOR_OPT_PROP_PROB_SLICE_KEEP_DC

source · 
pub const BTOR_OPT_PROP_PROB_SLICE_KEEP_DC: BtorOption = 61;