[−][src]Constant boolector_sys::BtorOption_BTOR_OPT_SLS_PROB_MOVE_RAND_WALK
pub const BtorOption_BTOR_OPT_SLS_PROB_MOVE_RAND_WALK: BtorOption
pub const BtorOption_BTOR_OPT_SLS_PROB_MOVE_RAND_WALK: BtorOption