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 /.github | |
| 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 '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5ebdc30b8..21d8784ae 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -119,8 +119,6 @@ jobs: if: steps.restore-deps.outputs.cache-hit != 'true' run: | ./contrib/get-poly - ./contrib/get-cadical - ./contrib/get-cryptominisat ./contrib/get-lfsc-checker - name: List dependencies |