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/expr | |
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/expr')
0 files changed, 0 insertions, 0 deletions