team |
Evaluating CDCL Restart SchemesHere we make the source code and the log files available for our POS'15 paper: Armin Biere, Andreas Fröhlich. [ evalrestart.7z ] Restrictions in using the included source code apply as listed in the COPYING file in the included tar ball of Lingeling. |