Constant boolector_sys::BTOR_SLS_STRAT_BEST_MOVE

source · 
pub const BTOR_SLS_STRAT_BEST_MOVE: BtorOptSLSStrat = 1;