Constant boolector_sys::BTOR_SLS_STRAT_BEST_SAME_MOVE

source · 
pub const BTOR_SLS_STRAT_BEST_SAME_MOVE: BtorOptSLSStrat = 4;