Constant boolector_sys::BTOR_SLS_STRAT_FIRST_BEST_MOVE

source · 
pub const BTOR_SLS_STRAT_FIRST_BEST_MOVE: BtorOptSLSStrat = 3;