projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d777047) | patch
Document proof rules for coverings solver (#8376)
authorGereon Kremer <gkremer@cs.stanford.edu>
Thu, 24 Mar 2022 23:28:07 +0000 (00:28 +0100)
committerGitHub <noreply@github.com>
Thu, 24 Mar 2022 23:28:07 +0000 (23:28 +0000)
commita36c3b9c7c0566c45ec4a0353c5b538f8b60e228
tree71d456d55b75c0a5ce3f2542be2ac8dd02795430tree
parentd77704776d1fbd53e2398dd323f711e2ffcbd0b2commit | diff
Document proof rules for coverings solver (#8376)

This PR converts the documentation for the proof rules for the coverings solver.
src/proof/proof_rule.h diff | blob | history