diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-09-18 13:32:47 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-18 11:32:47 -0500 |
commit | e040d5e9e9d8c01138b4b961a1118b7342735d87 (patch) | |
tree | bfaa28d1433e4699fb8112385361727a9be61fca /test/regress/CMakeLists.txt | |
parent | 5f714e763e57a8e7fc32c6bd0fbab279eac2f993 (diff) |
[proof-new] Proof utilities for normalizing clauses at the Node level (#5089)
Extends Theory Proof Step Buffer. These utilities are used so that we can account for the fact that Minisat silenly does these transformations on added clauses.
Diffstat (limited to 'test/regress/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions