diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-31 14:24:27 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-31 12:24:27 -0700 |
commit | 7b3b19f73ceb2168ced48d07a590c0f3be82a8d4 (patch) | |
tree | a2ca8f1cae261c87ea659c2d8f36a8090475e88d /src/smt | |
parent | 57a02fd0c7faa7a87b8619d52cf519e033633c1d (diff) |
Simplify interface for computing relevant terms. (#4966)
This is a followup to #4945 which simplifies the contract for computeRelevantTerms.
Diffstat (limited to 'src/smt')
0 files changed, 0 insertions, 0 deletions