diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-06-03 20:52:49 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-03 18:52:49 -0500 |
commit | 418b0281e62a6b657da32f6504965269ad90c18b (patch) | |
tree | 246d51e833789cf5620cdcb46d22bf57ff1b1000 /src/theory/evaluator.cpp | |
parent | b19d246d75be92a0189b9aaacc71426395b8c098 (diff) |
(proof-new) Adding rules and proof checker for EUF (#4559)
Diffstat (limited to 'src/theory/evaluator.cpp')
0 files changed, 0 insertions, 0 deletions