Age | Commit message (Expand) | Author |
---|---|---|
2020-03-06 | Remove tester name from APIs (#3929) | Andrew Reynolds |
2017-08-04 | Set default language to smt lib 2.6 (including as a base language for sygus),... | ajreynol |
2015-03-23 | Parsing support for define-fun-rec/define-funs-rec. | ajreynol |