Age | Commit message (Expand) | Author |
---|---|---|
2019-12-06 | contrib: Setup all dependencies in deps/ directory. (#3534) | Mathias Preiner |
2019-08-26 | Make contrib/get-* more robust. (#3198) | Mathias Preiner |
2018-10-22 | Only build CryptoMiniSat library, no binary (#2657) | Andres Noetzli |
2018-10-19 | Remove autotools build system. (#2639) | Mathias Preiner |
2018-07-25 | Use CryptoMiniSat 5.6.3. (#2205) | Mathias Preiner |
2018-03-13 | Use Cryptominisat version 5.0.2 (instead of 4.2.0). (#1664) | Mathias Preiner |