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 /cvc4autoconfig.h.in | |
| parent | 6b6290e89632108f35dd24924ac62bb0d69e462a (diff) | |
Support dumping Sygus commands. (#3763)
Diffstat (limited to 'cvc4autoconfig.h.in')
0 files changed, 0 insertions, 0 deletions