diff options
author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2020-02-17 08:58:42 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-17 08:58:42 -0600 |
commit | ed27cf0f854e014922f9690d967c5ff9aa73693c (patch) | |
tree | 42e1ffa003635a1a1b47dbb2ace29dce4dcdb88e /src/parser/tptp/Tptp.g | |
parent | 6b6290e89632108f35dd24924ac62bb0d69e462a (diff) |
Support dumping Sygus commands. (#3763)
Diffstat (limited to 'src/parser/tptp/Tptp.g')
0 files changed, 0 insertions, 0 deletions