diff options
| author | Ying Sheng <sqy1415@gmail.com> | 2020-07-10 12:19:17 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-10 16:19:17 -0300 |
| commit | 1dbc8aa695772daf2c83d10a7adb8123f97fa16f (patch) | |
| tree | dc5ab224af32cf0e2656402f5a5fde38c9b7b5ec /test/java/Combination.java | |
| parent | 95d97af192dc6ef7661ef9748c987270cce4c511 (diff) | |
[Interpolation] Add interface for SyGuS interpolation module (#4677)
This is the second step of adding Interpolation. 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 second step creates the component for computing interpolation, while omits the implementation.
Diffstat (limited to 'test/java/Combination.java')
0 files changed, 0 insertions, 0 deletions