diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-06-03 18:54:47 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-03 18:54:47 -0300 |
| commit | b19d246d75be92a0189b9aaacc71426395b8c098 (patch) | |
| tree | b4d7e420228ed8eb57d87dd4ec9bd28d5d53e492 /src/expr/node_manager.cpp | |
| parent | f70e265cd4e7df46a1b3b7e3cc67fbf9b9b1b528 (diff) | |
(proof-new) Adding rules and proof checker for Boolean reasoning (#4560)
Diffstat (limited to 'src/expr/node_manager.cpp')
0 files changed, 0 insertions, 0 deletions