projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 216f3c9) | patch
Disable sqlite (#6145)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Mon, 15 Mar 2021 19:45:58 +0000 (20:45 +0100)
committerGitHub <noreply@github.com>
Mon, 15 Mar 2021 19:45:58 +0000 (19:45 +0000)
commit5bbb45b820b9d695c29182f4dd2fc13fd9997e4b
tree396787da8880a099dd7b735d2a3a60a01cf0d78ctree
parent216f3c9fb07a08909942b91a2a4739cd178f5a72commit | diff
Disable sqlite (#6145)

Cryptominisat supports writing statistics to a sqlite3 database, and automatically enabled it when it can find sqlite bindings.
This disables sqlite3, as we don't need it anyway.
Fixes #6131.
contrib/get-cryptominisat diff | blob | history