projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b65f32a) | patch
Fix FindCaDiCaL script (#8838)
authorGereon Kremer <gkremer@cs.stanford.edu>
Tue, 31 May 2022 18:23:33 +0000 (11:23 -0700)
committerGitHub <noreply@github.com>
Tue, 31 May 2022 18:23:33 +0000 (11:23 -0700)
commitdeb7433f54617f7a9ffad75a2514c7760a88b1d7
tree8727f2f0f24873c1b159af80918c3713b45ccfb3tree
parentb65f32ad5d58fd76fd58b7a10b879c1eeb140b30commit | diff
Fix FindCaDiCaL script (#8838)

This fixes issues with finding a system-installed cadical.
Fixes #8836.
cmake/FindCaDiCaL.cmake diff | blob | history