projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6ea00f) | patch
Add new variants for the CAD projection (#6794)
authorGereon Kremer <nafur42@gmail.com>
Tue, 29 Jun 2021 17:43:39 +0000 (19:43 +0200)
committerGitHub <noreply@github.com>
Tue, 29 Jun 2021 17:43:39 +0000 (17:43 +0000)
commit373b6e1e8e91874afab16416f7acc3839f0027af
tree75d8b5eb8676a88da6d6274fc4d6096d0774dc88tree
parentc6ea00f789ef354e93c67740016709d4105fc3becommit | diff
Add new variants for the CAD projection (#6794)

This PR adds variants for the CAD projection operator to use Lazard's projection operator.
src/theory/arith/nl/cad/cdcac.cpp diff | blob | history
src/theory/arith/nl/cad/cdcac.h diff | blob | history