msoos / cryptominisat / 2203

Builds Branch Commit Type Ran Committer Via Coverage
2203 master Fixing deletion of dump file push msoos travis-ci pending completion   set done
2202 master Fully copy the name of the old dump file push msoos travis-ci pending completion   set done
2200 master Unlinking dumped file push msoos travis-ci pending completion   set done
2199 master Allow concentrating only on clause dumping push msoos travis-ci pending completion   set done
2198 master Allow extracting redundant clauses -- but only give from 1st push msoos travis-ci pending completion   set done
2196 master Fixing SLOWDEBUG build push msoos travis-ci pending completion   set done
2191 master Bumping version push msoos travis-ci pending completion   set done
2190 master Merge pull request #494 from cipherboy/fix-manpages Fix man page install location push web-flow travis-ci pending completion   set done
2189 master Updated comments in shell script push msoos travis-ci pending completion   set done
2188 master Merge pull request #495 from cipherboy/pycryptosat-license Clarify license in pycryptosat push web-flow travis-ci pending completion   set done
2183 master Backtrack restart not available any more Thanks to @jvpeetz for spotting this! push msoos travis-ci pending completion   set done
2182 master Return solver->okay() always push msoos travis-ci pending completion   set done
2181 master Bumping version number push msoos travis-ci pending completion   set done
2180 master Better error printing push msoos travis-ci pending completion   set done
2178 master Burst search is not useful, deleting push msoos travis-ci pending completion   set done