projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36ac67d) | patch
Refactor entailment filtering for conjecture generator. Other minor cleanup.
authorajreynol <andrew.j.reynolds@gmail.com>
Wed, 17 Sep 2014 15:07:14 +0000 (17:07 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Wed, 17 Sep 2014 15:07:14 +0000 (17:07 +0200)
commit83f4a3a884f53fa02019d1dab308240f0027c908
tree2b6fd328ae243728e2d4f5be7ca129dd6bae2ebctree
parent36ac67d4eac45add325fbb2692569e4a781423a1commit | diff
Refactor entailment filtering for conjecture generator.  Other minor cleanup.
src/theory/quantifiers/conjecture_generator.cpp diff | blob | history
src/theory/quantifiers/conjecture_generator.h diff | blob | history