diff options
author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2020-08-04 15:23:54 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-04 15:23:54 -0500 |
commit | 24a40040a4a5f88f96eada87e46323ace729f06a (patch) | |
tree | e2d74981a9f0d2ceb8bc973c619c71a3e099f2fe /cvc4autoconfig.h.in | |
parent | 0cbcf1f835f74c304e2ac3884143b7df9c7f75b6 (diff) |
Modify the smt2 parser to use the Sygus grammar. (#4829)
Diffstat (limited to 'cvc4autoconfig.h.in')
0 files changed, 0 insertions, 0 deletions