diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-10-22 01:19:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-21 18:19:24 -0500 |
| commit | a99f5aaa46702a4894aaddeed3a7ff5cbf69bdfd (patch) | |
| tree | 7d0e6bc5d9eabfc5e6db6c6e84535b31bc58a964 /src/theory/theory_engine.cpp | |
| parent | 31983bd41f8c6ec736e374946de355fd1a9bc6f1 (diff) | |
(proof-new) Make circuit propagator proof producing (#5318)
This PR uses the proofs from #5301 to actually produce proofs from the circuit propagator.
Diffstat (limited to 'src/theory/theory_engine.cpp')
0 files changed, 0 insertions, 0 deletions