Age | Commit message (Expand) | Author |
---|---|---|
2021-01-28 | Reorganize calls to quantifiers engine from SmtEngine layer (#5828) | Andrew Reynolds |
2020-12-09 | Fixed a bunch of clang warnings. (#5637) | Gereon Kremer |
2020-10-20 | Split CheckModels utility to its own file (#5303) | Andrew Reynolds |
2020-09-22 | Update copyright header script to support CMake and Python files (#5067) | Mathias Preiner |
2020-09-11 | (proof-new) Add SMT proof manager (#5054) | Andrew Reynolds |
2020-08-13 | Split SmtSolver from SmtEngine (#4880) | Andrew Reynolds |