projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6bae871) | patch
Add cocoalib (#6731)
authorGereon Kremer <nafur42@gmail.com>
Tue, 15 Jun 2021 21:00:47 +0000 (23:00 +0200)
committerGitHub <noreply@github.com>
Tue, 15 Jun 2021 21:00:47 +0000 (21:00 +0000)
commit44299210154706701d56bfa40e8cb5c58079e9ca
treeb7447be8cd5401b738b986971f036f8022cfbb64tree
parent6bae871954c48993009ed91d4b907c136017ed38commit | diff
Add cocoalib (#6731)

This PR adds CoCoALib as an optional dependency. It will be used in the CAD-based nonlinear solver for computer algebra routines beyond the capabilities of libpoly like quotient rings and polynomial factorization.
CMakeLists.txt diff | blob | history
cmake/FindCoCoA.cmake [new file with mode: 0644] blob
configure.sh diff | blob | history