diff options
author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2021-03-23 09:44:39 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-23 14:44:39 +0000 |
commit | 6beb70fcedd18e965ad82949090365cb44a43692 (patch) | |
tree | 0b66d7599fed75e39257a0d29e88483c59c6b03e /test/regress/regress1/nl/sugar-ident-3.smt2 | |
parent | 61b9dadc88de3bf7d52538f9e914cfb61cbb7bb6 (diff) |
Replace old sygus term reconstruction algorithm with a new one. (#5779)
This PR replaces the old algorithm for reconstructing sygus terms with a new "proper" implementation.
Diffstat (limited to 'test/regress/regress1/nl/sugar-ident-3.smt2')
0 files changed, 0 insertions, 0 deletions