projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f1cdd9) | patch
Reenable filtering based on ordering in sygus sampler (#1784)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 20 Apr 2018 19:45:26 +0000 (14:45 -0500)
committerGitHub <noreply@github.com>
Fri, 20 Apr 2018 19:45:26 +0000 (14:45 -0500)
commit549060790c9e91d9fc37b882e137bb36e5b538ea
tree146d966b1188d3e134b1bb700ab6a08262fb07e0tree
parent5f1cdd91a5e03dd29b660c841032d5b2a31ea634commit | diff
 Reenable filtering based on ordering in sygus sampler (#1784)
src/options/quantifiers_options.toml diff | blob | history
src/theory/quantifiers/sygus/ce_guided_conjecture.cpp diff | blob | history
src/theory/quantifiers/sygus_sampler.cpp diff | blob | history
src/theory/quantifiers/sygus_sampler.h diff | blob | history