Age | Commit message (Expand) | Author |
---|---|---|
2021-03-09 | Update copyright headers to 2021. (#6081) | Aina Niemetz |
2021-01-28 | Reorganize calls to quantifiers engine from SmtEngine layer (#5828) | Andrew Reynolds |
2020-12-18 | Simplify internal API for sygus (#5687) | Andrew Reynolds |
2020-12-02 | Update copyright headers. | Aina Niemetz |
2020-10-01 | Make SygusSolver use sygus attributes directly (#5172) | Andrew Reynolds |
2020-09-22 | Update copyright header script to support CMake and Python files (#5067) | Mathias Preiner |
2020-09-16 | Dump commands in internal code using command printing functions. (#5040) | Abdalrhman Mohamed |
2020-08-18 | Split SygusSolver from SmtEngine (#4891) | Andrew Reynolds |