diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-05 23:06:13 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-05 23:06:13 -0600 |
| commit | 04dc5b60462dc367fe1b99254c215957006f7b21 (patch) | |
| tree | e13c0360026bb3c6d19d5f61e0034345c98306e9 /src/theory/strings/term_registry.cpp | |
| parent | af18cd275f340d1896c3b635dbeecbea2e521db1 (diff) | |
Split sygus template inference to its own file (#5388)
This splits techniques for inferring templates for functions-to-synthesize to their own file.
This is work towards cleaning up the single invocation utility, which will be undergoing some additions.
Diffstat (limited to 'src/theory/strings/term_registry.cpp')
0 files changed, 0 insertions, 0 deletions