projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf02202) | patch
Add option for aggressive model filtering in conjecture generator (enumerate ground...
authorajreynol <andrew.j.reynolds@gmail.com>
Mon, 29 Sep 2014 19:39:34 +0000 (21:39 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Mon, 29 Sep 2014 19:39:39 +0000 (21:39 +0200)
commita4a943134f888a514f19adaffe2f6743a16a25a6
tree9d243bce3fc0edb864853761d0628b04ccaa4b99tree
parentcf022026fef28986666c0b5cd80944aa8a239280commit | diff
Add option for aggressive model filtering in conjecture generator (enumerate ground terms).
src/theory/quantifiers/conjecture_generator.cpp diff | blob | history
src/theory/quantifiers/conjecture_generator.h diff | blob | history
src/theory/quantifiers/options diff | blob | history