Age | Commit message (Expand) | Author |
---|---|---|
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 |