projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d3528b6) | patch
Enable post-condition strenghtening by default for non-syntax restricted invariant...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 23 Mar 2018 17:20:23 +0000 (12:20 -0500)
committerGitHub <noreply@github.com>
Fri, 23 Mar 2018 17:20:23 +0000 (12:20 -0500)
commitd95e5257f452d765aa67931f0b2af7b178f2e986
treef67100dedc9b9a3c7eb477dd66664b31f7f15d73tree
parentd3528b6db31f9bdff56bc519bbf427b2533c43b8commit | diff
Enable post-condition strenghtening by default for non-syntax restricted invariant synthesis (#1703)
src/options/quantifiers_options.toml diff | blob | history
src/theory/quantifiers/sygus/ce_guided_single_inv.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_grammar_cons.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_grammar_cons.h diff | blob | history