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/theory/assertion.cpp | |
parent | f70e265cd4e7df46a1b3b7e3cc67fbf9b9b1b528 (diff) |
(proof-new) Adding rules and proof checker for Boolean reasoning (#4560)
Diffstat (limited to 'src/theory/assertion.cpp')
0 files changed, 0 insertions, 0 deletions