msoos / cryptominisat / 2044

Builds Branch Commit Type Ran Committer Via Coverage
2044 master Fixing typo push msoos travis-ci pending completion   set done
2042 master Merge pull request #477 from cipherboy/fix-spelling-mistakes Fix spelling mistakes in --hhelp push web-flow travis-ci pending completion   set done
2041 master Updating drat-trim to work on Windows push msoos travis-ci pending completion   set done
2039 scalmc Allow messing up the polarity push msoos travis-ci pending completion   set done
2038 scalmc Making solverconf exposed push msoos travis-ci pending completion   set done
2037 master Use a lot less memory to keep data around push msoos travis-ci pending completion   set done
2036 master Allow controlling how much maple is being done push msoos travis-ci pending completion   set done
2035 master Updating minisat push msoos travis-ci pending completion   set done
2034 master Fixing issues regarding verbosity and multi-threading push msoos travis-ci pending completion   set done
2032 master Updating licensing Related to issue #473 push msoos travis-ci pending completion   set done
2031 master Forgot to implement vector<Lit> for drat push msoos travis-ci pending completion   set done
2030 master Merge pull request #475 from ajohnson1/ajohnson1-readme-patch-1 Update readme push web-flow travis-ci pending completion   set done
2027 master Removing the swig stuff that was never used push msoos travis-ci pending completion   set done
2024 master Always start with VSIDS when doing search push msoos travis-ci pending completion   set done
2023 master Only update gauss in case we are not simplifying push msoos travis-ci pending completion   set done