Constant boolector_sys::BTOR_OPT_SLS_MOVE_PROP_FORCE_RW

source · 
pub const BTOR_OPT_SLS_MOVE_PROP_FORCE_RW: BtorOption = 48;