diff options
| author | Ying Sheng <sqy1415@gmail.com> | 2020-07-28 09:55:52 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-28 11:55:52 -0500 |
| commit | e63544462eb850a27f7b416f2f0613efb96eef1d (patch) | |
| tree | 824a3e8d61a44a84a31c3eac651ccd2405c2fdfb /src/theory/strings/skolem_cache.h | |
| parent | c38f35164adc5ab255803765a568ef820fa8f3b2 (diff) | |
Interpolation: Add interface for SyGuS interpolation module (step3) (#4726)
This is the 3rd step of adding interface for SyGuS Interpolation module. The whole change will be adding the API for (get-interpol s B), which is aim for computes an I that A->I and I->B. Here A is the assertions in the stack.
The 3rd step partially implemented the interpolation module.
Diffstat (limited to 'src/theory/strings/skolem_cache.h')
0 files changed, 0 insertions, 0 deletions