projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f78a273) | patch
Update to CaDiCaL 1.4.1. (#6780)
authorMathias Preiner <mathias.preiner@gmail.com>
Mon, 21 Jun 2021 23:06:05 +0000 (16:06 -0700)
committerGitHub <noreply@github.com>
Mon, 21 Jun 2021 23:06:05 +0000 (23:06 +0000)
commit4f8927b6e56d55d8b69d525e57f407ff69bc1acd
tree9ac91dd1d0455f8cb4368e54d0ca2b5d473a678dtree
parentf78a273345ddf4f1cdfb281fe36ea9e6dbdff726commit | diff
Update to CaDiCaL 1.4.1. (#6780)
cmake/FindCaDiCaL.cmake diff | blob | history