projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a34d81) | patch
bv sat solvers: Update CaDiCaL and Kissat to most recent release versions. (#8877)
authorAina Niemetz <aina.niemetz@gmail.com>
Mon, 13 Jun 2022 12:36:18 +0000 (05:36 -0700)
committerGitHub <noreply@github.com>
Mon, 13 Jun 2022 12:36:18 +0000 (12:36 +0000)
commit853d497867ffeb16f6b780c30f92c8a694a5f062
tree372472b3e1f71e96cf9237350a06e24ba66909c9tree
parent4a34d8126ee7077dfeb58338a906a9d824a3db1ccommit | diff
bv sat solvers: Update CaDiCaL and Kissat to most recent release versions. (#8877)
cmake/FindCaDiCaL.cmake diff | blob | history
cmake/FindKissat.cmake diff | blob | history