Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-09-14 | Interpolation: Add implementation for SyGuS interpolation module (final) (#5063) | Ying Sheng | |
Add interface for SyGuS Interpolation module. 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. |