[][src]Constant boolector_sys::BtorOption_BTOR_OPT_SLS_MOVE_PROP_N_PROP

pub const BtorOption_BTOR_OPT_SLS_MOVE_PROP_N_PROP: BtorOption