Age | Commit message (Expand) | Author |
---|---|---|
2018-02-08 | Check whether Cryptominisat4/ABC was installed via get-* script. (#1565) | Mathias Preiner |
2017-05-27 | [Competition] Fix ABC, fix CryptoMiniSat req | Andres Noetzli |
2016-05-24 | Merged cryptominisat from experimental branch. | Liana Hadarean |