diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-03-31 22:00:54 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-31 20:00:54 +0000 |
commit | 39ea1d8a1497a83d1efc649bd10da82916e5db5f (patch) | |
tree | 3fb701819277f3683f0baf40147a5eb94789009d /src/theory/bags/term_registry.h | |
parent | b7210ed60d517aebb25c23a2f407ee59562587dd (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.
Diffstat (limited to 'src/theory/bags/term_registry.h')
0 files changed, 0 insertions, 0 deletions