msoos / cryptominisat / 2264

Builds Branch Commit Type Ran Committer Via Coverage
2264 master Merge pull request #517 from mbargull/python-max_var python: add_clauses: add max_var=0 kwarg push web-flow travis-ci pending completion   set done
2261 master Fixing dumping of CNF Closes #511 push msoos travis-ci pending completion   set done
2259 master Adding clause-adding performance checking Related to issue #513 push msoos travis-ci pending completion   set done
2255 master Fixing patch to compile python interface under mingw push msoos travis-ci pending completion   set done
2254 master No need to take BVA into account on a fresh solver Related to #513 push msoos travis-ci pending completion   set done
2253 master Flying a bit more blind but faster Related to #513 push msoos travis-ci pending completion   set done
2252 master Counting clauses for CNF dumping Closes #511 push msoos travis-ci pending completion   set done
2251 master Merge pull request #514 from janmazak/streams Allow dump into streams push web-flow travis-ci pending completion   set done
2247 master Introducing "freshness" -- indicator of a new solver object This should dramatically improve the speed of adding new clauses to the system. Related to #513 push msoos travis-ci pending completion   set done
2246 master Don't check the same thing twice push msoos travis-ci pending completion   set done
2245 master Adding the correct number of variables in one go Related to issue #513 push msoos travis-ci pending completion   set done
2244 master Don't reallocate clause every time in python interface This is an obvious fix Related to issue #513 push msoos travis-ci pending completion   set done
2242 master <a href="https://github.com/msoos/cryptominisat/commit/674f2d578">Revert &quot;Fixing namespace issue on l_True, l_False and l_Undef&quot; This reverts commit </a><a class="double-link" href="https://github.com/msoo... push msoos travis-ci pending completion   set done
2239 master Don't double-end-of-line push msoos travis-ci pending completion   set done
2238 master Adding GPL license issue with M4RI to LICENSE.txt push msoos travis-ci pending completion   set done