Age | Commit message (Expand) | Author |
---|---|---|
2021-03-31 | Refactor dependencies for external SAT solvers (#6215) | Gereon Kremer |
2020-11-02 | contrib: Remove dependency directories. (#5367) | Aina Niemetz |
2020-05-22 | Add support for SAT solver Kissat. (#4514) | Aina Niemetz |