Age | Commit message (Expand) | Author |
---|---|---|
2021-03-31 | Refactor dependencies for external SAT solvers (#6215) | Gereon Kremer |
2021-03-15 | Disable sqlite (#6145) | Gereon Kremer |
2020-11-02 | contrib: Remove dependency directories. (#5367) | Aina Niemetz |
2020-09-01 | CMS: Update to version 5.8.0. (#4991) | Aina Niemetz |
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 |