projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 14f613c) | patch
Add CoCoA implementation (#6733)
authorGereon Kremer <nafur42@gmail.com>
Thu, 24 Jun 2021 11:27:30 +0000 (13:27 +0200)
committerGitHub <noreply@github.com>
Thu, 24 Jun 2021 11:27:30 +0000 (11:27 +0000)
commit3f0fd456553223a59001a6bcdc714c3b56192787
tree7092cc2654f0b5b2ff3ab3bd008bab31aa7b6fcetree
parent14f613c36fd55b662ce29eeae54a4bc2f26322a4commit | diff
Add CoCoA implementation (#6733)

This PR adds the actual implementation for the Lazard evaluation based on CoCoALib. It is only used if CoCoALib is available and falls back to a default libpoly-based implementation otherwise.
src/theory/arith/nl/cad/lazard_evaluation.cpp diff | blob | history