diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-05-22 08:01:59 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-22 08:01:59 -0500 |
commit | ae33f11d0f4156b4d21b9e77f6df59ec0f9e8184 (patch) | |
tree | 7be8eb9e2084a6754277b8c3ef86968e8f029692 /src/prop/kissat.cpp | |
parent | 026f7ae7bb3678281fb46defff4a1202c69d5f4e (diff) |
(proof-new) Proof node to SExpr utility. (#4512)
This is required for dag-ifying ProofNode output.
Diffstat (limited to 'src/prop/kissat.cpp')
0 files changed, 0 insertions, 0 deletions