src/probe.cpp
// Failed literal probing in phases.
Failed literal probing in phases.
Failed literal probing in phases .
bool Internal::probing () {
  if (!opts.simplify) return false;
  if (!opts.probe) return false;
  if (opts.reduce &&
      stats.conflicts != lim.conflicts_at_last_reduce) return false;
  return lim.probe <= stats.conflicts;
}
bool Internal :: probing ( ) { if ( ! opts . simplify ) return false ; if ( ! opts . probe ) return false ; if ( opts . reduce && stats . conflicts != lim . conflicts_at_last_reduce ) return false ; return lim . probe <= stats . conflicts ; }
Failed literal probing in phases.
Failed literal probing in phases .
// Wait until next 'reduce'. //