projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5275e1) | patch
[proofs] Alethe: Add ARITH_TRICHOTOMY to updater (#7753)
authorLachnitt <lachnitt@stanford.edu>
Tue, 7 Dec 2021 20:52:13 +0000 (12:52 -0800)
committerGitHub <noreply@github.com>
Tue, 7 Dec 2021 20:52:13 +0000 (20:52 +0000)
commit168e4091439d7e4e75859c10a4f153a051246c89
treeee9592c9d1cf0f2d14ed9b78c1a841c1a80cf0f7tree
parentd5275e10906dd18ea2e83ab1b51b91e59ab59477commit | diff
[proofs] Alethe: Add ARITH_TRICHOTOMY to updater (#7753)

Translation of the ARITH_TRICHOTOMY rule into the Alethe calculus.

Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
src/proof/alethe/alethe_post_processor.cpp diff | blob | history