2020-09-22 | Mathias Preiner | Update copyright header script to support CMake and... | blob | commitdiff | raw |
2020-09-01 | Haniel Barbosa | Removes old proof code (#4964) | blob | commitdiff | raw | diff to current |
2020-05-22 | Aina Niemetz | Add support for SAT solver Kissat. (#4514) | blob | commitdiff | raw | diff to current |