msoos / cryptominisat / 2290

Builds Branch Commit Type Ran Committer Via Coverage
2290 master Adding rust binding to Readme push msoos travis-ci pending completion   set done
2289 master Avoid infinite propagate-gaussconflict loop The restart could actually be not triggered in case of such a loop. Urquhart instances exhibited this behaviour Thanks to Armin Biere for pointing me towards these instances push msoos travis-ci pending completion   set done
2288 master Bumping version push msoos travis-ci pending completion   set done
2287 master Check for overflow push msoos travis-ci pending completion   set done
2286 master Merge pull request #524 from mbargull/py-add_clauses-iter-speedup python: add_clauses: skip repeated/redundant Python arglist creation push web-flow travis-ci pending completion   set done
2284 master Merge pull request #523 from mbargull/add_clauses-speedups Add clauses speedups push web-flow travis-ci pending completion   set done
2282 master Merge pull request #522 from mbargull/py2-array-fix python: add_clauses_array: fix PY2 push web-flow travis-ci pending completion   set done
2280 master Merge pull request #521 from mbargull/py2-array-tests python: tests: ensure str typecode for PY2 push web-flow travis-ci pending completion   set done
2278 master Fixing path for python tests push msoos travis-ci pending completion   set done
2272 master Better visibility into CNF dumping test if need be push msoos travis-ci pending completion   set done
2271 master Adding test to check CNF dumping before simplify() call Related to #516 push msoos travis-ci pending completion   set done
2270 master Fixing CNF dumping issue Related to #516 push msoos travis-ci pending completion   set done
2269 master Fixing python tests push msoos travis-ci pending completion   set done
2268 master Merge pull request #519 from mbargull/python-int-array python: add_clauses: support array.array as input push web-flow travis-ci pending completion   set done
2265 master Merge pull request #518 from mbargull/addClause-add_clause_int_tmp_cl Solver::addClause: use add_clause_int_tmp_cl push web-flow travis-ci pending completion   set done