projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7210ed) | patch
Refactor dependencies for external SAT solvers (#6215)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 31 Mar 2021 20:00:54 +0000 (22:00 +0200)
committerGitHub <noreply@github.com>
Wed, 31 Mar 2021 20:00:54 +0000 (20:00 +0000)
commit39ea1d8a1497a83d1efc649bd10da82916e5db5f
tree3fb701819277f3683f0baf40147a5eb94789009dtree
parentb7210ed60d517aebb25c23a2f407ee59562587ddcommit | diff
Refactor dependencies for external SAT solvers (#6215)

This PR refactors how we obtain, build and use the external SAT solvers used by CVC4: CaDiCaL, CryptoMiniSat and Kissat.
All three contrib scripts are removed and instead an external project is integrated into the cmake find scripts.
.github/workflows/ci.yml diff | blob | history
cmake/FindCaDiCaL.cmake diff | blob | history
cmake/FindCryptoMiniSat.cmake diff | blob | history
cmake/FindKissat.cmake diff | blob | history
cmake/deps-utils/CryptoMiniSat-patch-ba6f76e3.patch [new file with mode: 0644] blob
contrib/get-cadical [deleted file] blob | history
contrib/get-cryptominisat [deleted file] blob | history
contrib/get-kissat [deleted file] blob | history
src/CMakeLists.txt diff | blob | history