projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e94915) | patch
Make CaDiCaL a required dependency. (#6761)
authorMathias Preiner <mathias.preiner@gmail.com>
Mon, 21 Jun 2021 17:11:16 +0000 (10:11 -0700)
committerGitHub <noreply@github.com>
Mon, 21 Jun 2021 17:11:16 +0000 (17:11 +0000)
commit7c4a214cf3ce2facf4c98cd3bd347562c66f10a6
treeacaf71e0d825c817d8ea691b84e130e1b28b9d9ftree
parent7e9491574fe63075a4261c5b385f9b8b0e5e3e9acommit | diff
Make CaDiCaL a required dependency. (#6761)

Since the new BV solver is enabled by default and uses CaDiCaL
(and optionally CryptoMiniSat) we make CaDiCaL a required dependency.
13 files changed:
CMakeLists.txt diff | blob | history
NEWS diff | blob | history
configure.sh diff | blob | history
src/CMakeLists.txt diff | blob | history
src/base/configuration.cpp diff | blob | history
src/base/configuration.h diff | blob | history
src/base/configuration_private.h diff | blob | history
src/options/options_handler.cpp diff | blob | history
src/options/options_handler.h diff | blob | history
src/prop/cadical.cpp diff | blob | history
src/prop/cadical.h diff | blob | history
src/prop/sat_solver_factory.cpp diff | blob | history
test/regress/regress0/bv/eager-inc-cadical.smt2 diff | blob | history