diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-07-09 00:41:47 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-09 00:41:47 -0500 |
commit | c64575b7c65a9822955efbf7711736068394899a (patch) | |
tree | e7b2b8a1ac343e9c303a9176974e22e8889e96e0 /src/theory/arith/nl/nl_model.h | |
parent | a0a389a1f7c16b6a1fb56b3ce8ee519cf5717f04 (diff) |
(proof-new) Theory engine proof generator (#4657)
This adds the proof generator used by TheoryEngine for generating proofs for explanations.
Diffstat (limited to 'src/theory/arith/nl/nl_model.h')
0 files changed, 0 insertions, 0 deletions