projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a5cc46) | patch
Alethe: Translate CNF rules (#7532)
authorLachnitt <lachnitt@stanford.edu>
Fri, 5 Nov 2021 18:35:05 +0000 (11:35 -0700)
committerGitHub <noreply@github.com>
Fri, 5 Nov 2021 18:35:05 +0000 (18:35 +0000)
commit1c334d32645c8f8930c50fee441f081051e2aada
treeb48826b863a8103120962538478febb996562634tree
parent4a5cc46097fa1c7b601d4275f0cf0c5af9c3d97ecommit | diff
Alethe: Translate CNF rules (#7532)

Implementation of the translation of various CNF rules into the Alethe calculus.

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