projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5494fb0) | patch
Improve stats in conjecture generator, minor cleanup.
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 28 Oct 2014 11:54:33 +0000 (12:54 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 28 Oct 2014 11:54:33 +0000 (12:54 +0100)
commit3ff5a32a45f2830acc4600b38332a287db4cf60a
tree00a17831da47ba755fde9a74ad852cdf4a0e74cdtree
parent5494fb086071c6e68cb5125932af0126c5b9d42ecommit | diff
Improve stats in conjecture generator, minor cleanup.
src/theory/quantifiers/conjecture_generator.cpp diff | blob | history
src/theory/quantifiers/conjecture_generator.h diff | blob | history