diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-09-29 16:15:06 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-29 16:15:06 -0300 |
| commit | f51491e43e86abb862ea081568b8aa106293d64a (patch) | |
| tree | 2d368ff7d04d02806d9b16208b641504fc8e676e /src/expr/proof_node_manager.cpp | |
| parent | a4d15e7e7d03376f51e1e03e9e555fa2ff5b254c (diff) | |
[proof-new] Adds a proof manager for prop engine (#5162)
Also fixes some weird orderings in src/CMakeLists.txt
Diffstat (limited to 'src/expr/proof_node_manager.cpp')
0 files changed, 0 insertions, 0 deletions