bv: Add --tlimit-per support for CryptoMiniSat. (#8086)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 9 Feb 2022 23:56:59 +0000 (15:56 -0800)
committerGitHub <noreply@github.com>
Wed, 9 Feb 2022 23:56:59 +0000 (23:56 +0000)
commit9784b39d8815cdc1c884d6b365cd16d70f2657bf
tree10b557f3ac260e67b801b0c57f4cce13ddf8290d
parent803afe174e09eb6845ca1d206fceb219c798adcb
bv: Add --tlimit-per support for CryptoMiniSat. (#8086)
src/prop/cryptominisat.cpp
src/prop/cryptominisat.h
src/prop/sat_solver_factory.cpp
src/prop/sat_solver_factory.h
src/theory/bv/bv_solver_bitblast.cpp
src/util/resource_manager.cpp
src/util/resource_manager.h