diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-10-11 11:42:23 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-11 11:42:23 -0500 |
commit | 11f94aea79325423fd1ea864729be8a76d7099c0 (patch) | |
tree | e3fc9c4cd9eca44ac95af4c0de06748bcf5a5b4f /src/proof/array_proof.h | |
parent | 0f34a6307e4bb7ec01574a8f9e813bd5fc92a30a (diff) |
Ho Lambda Lifting (#1116)
* Do lambda lifting in term formula removal pass. Set option in SMT engine related to higher-order.
* Better documentation
Diffstat (limited to 'src/proof/array_proof.h')
0 files changed, 0 insertions, 0 deletions