| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-06-16 | Update copyright headers. | Aina Niemetz |
| 2020-06-12 | Move sygus datatype utility functions to their own file (#4595) | Andrew Reynolds |
| 2020-06-04 | Add sygus datatype substitution utility method (#4390) | Andrew Reynolds |
| 2020-06-04 | Fix abduction with datatypes (#4566) | Andrew Reynolds |
| 2019-12-12 | Use the node-level datatypes API (#3556) | Andrew Reynolds |
| 2019-11-18 | Use standard sygus interface for abduction and rewrite rule synthesis (#3471) | Andrew Reynolds |
| 2019-10-14 | Support UF in default sygus grammars (#3319) | Andrew Reynolds |
| 2019-09-16 | Move specific attributes out of term util (#3279) | Andrew Reynolds |
| 2019-08-27 | Fixes for get-abduct (#3229) | Andrew Reynolds |
| 2019-08-13 | Track sygus variable to term relationship via attribute (#3182) | Andrew Reynolds |
| 2019-07-29 | Support get-abduct smt2 command (#3122) | Andrew Reynolds |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback