diff options
author | Ying Sheng <sqy1415@gmail.com> | 2020-08-03 16:26:08 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-03 16:26:08 -0700 |
commit | 3dad390f4216a9d279197a52b40b8e93696d4019 (patch) | |
tree | 5b0ad70f88b9e36be2afb920b6535cd32fbd869d /proofs | |
parent | 2fb5ff63e8e80b06450a8a2a33d7d61cc0a0e2ac (diff) |
Add implementation for SyGuS interpolation module (step4) (#4811)
This is the 4th 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 4th step finished the implementation of the interpolation module.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions