msoos / cryptominisat / 1981

Builds Branch Commit Type Ran Committer Via Coverage
1981 master Don't do more minimisation than other SAT solvers push msoos travis-ci pending completion   set done
1979 master Run with Python2 and 3 push msoos travis-ci pending completion   set done
1978 master Add empty line here for clarity push msoos travis-ci pending completion   set done
1977 master Fixing use-after-free push msoos travis-ci pending completion   set done
1976 master Give lower limits for global multiplier push msoos travis-ci pending completion   set done
1975 master Don't do BVA by default push msoos travis-ci pending completion   set done
1974 master No need to claim we can have such large queues Also, fix signed vs unsigned comparison warning push msoos travis-ci pending completion   set done
1973 master Adding commented-out debug code push msoos travis-ci pending completion   set done
1972 master Fixing bug with back-numbering zero-assigned literals push msoos travis-ci pending completion   set done
1971 master Fixing glue-based level of clause push msoos travis-ci pending completion   set done
1970 master Removing CMS options from the fuzzer push msoos travis-ci pending completion   set done
1969 master Making the strategy better push msoos travis-ci pending completion   set done
1968 master Removing "flto" from cflags and ldflags for python They mess up clang compilation push msoos travis-ci pending completion   set done
1967 master Fixing issues with Python 2 build push msoos travis-ci pending completion   set done
1966 master Fixing python cflags/ldflags Related to #457 push msoos travis-ci pending completion   set done