diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-12 10:33:32 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-12 10:33:32 -0600 |
| commit | 4f367612a386d21315cee7d377176bc83a1402c5 (patch) | |
| tree | 6b572e49d2cddecf11ce8fedf74084df5c449420 /cmake/FindGLPK.cmake | |
| parent | b9eee8d69e9de4641514c35d49c495bd5adead5f (diff) | |
(proof-new) Proofs for skolemization (#5339)
This adds support for proofs in the quantifiers module that performs skolemization.
Also fixes a bug in the proof checker for skolemization.
Diffstat (limited to 'cmake/FindGLPK.cmake')
0 files changed, 0 insertions, 0 deletions