Age | Commit message (Expand) | Author |
---|---|---|
2021-03-06 | Remove SMT-LIB 2.5 and 2.0 support. (#6068) | Mathias Preiner |
2015-04-23 | A few more minor updates to match google repository with CVC4 repository | Clark Barrett |
2014-10-23 | Parsing and infrastructure support for SMT-LIBv2.5 input and output languages. | Morgan Deters |
2014-02-26 | sorry for the missing file | Tianyi Liang |