Constant boolector_sys::BTOR_OPT_SLS_MOVE_RAND_RANGE

source · 
pub const BTOR_OPT_SLS_MOVE_RAND_RANGE: BtorOption = 44;