Constant boolector_sys::BTOR_OPT_SLS_MOVE_PROP_N_SLS

source · 
pub const BTOR_OPT_SLS_MOVE_PROP_N_SLS: BtorOption = 47;