projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0d1618) | patch
Update version of CaDiCaL. (#6583)
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 20 May 2021 22:53:02 +0000 (15:53 -0700)
committerGitHub <noreply@github.com>
Thu, 20 May 2021 22:53:02 +0000 (22:53 +0000)
commit9e5f2385b73d55f675fa3996a2dd6df0e8d7652b
treeb8f036cf167fe766a2ce349264800bf9e5806161tree
parente0d16189056ab905b2b9e8a23cf62fcca76c106bcommit | diff
Update version of CaDiCaL. (#6583)
cmake/FindCaDiCaL.cmake diff | blob | history