projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a37fd1) | patch
Fixed time stats for MiniSat solve time. (#1431)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 6 Dec 2017 20:35:18 +0000 (12:35 -0800)
committerGitHub <noreply@github.com>
Wed, 6 Dec 2017 20:35:18 +0000 (12:35 -0800)
commita97411d90188fc3ceda419faf7be4b3508e305a5
tree6e54afbe98beef10302bc311f64b2556254102fctree
parent6a37fd136eea6ad95aae4e598faee0d47c110343commit | diff
Fixed time stats for MiniSat solve time. (#1431)

Also, moved implementation of BVMinisatSatSolver::MinisatNotify::notify to .cpp file.
src/prop/bvminisat/bvminisat.cpp diff | blob | history
src/prop/bvminisat/bvminisat.h diff | blob | history