Constant boolector_sys::BTOR_OPT_SLS_PROB_MOVE_RAND_WALK

source · 
pub const BTOR_OPT_SLS_PROB_MOVE_RAND_WALK: BtorOption = 42;