projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dfcd935) | patch
Create infrastructure for sygus modules (#1632)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 2 Mar 2018 03:32:11 +0000 (21:32 -0600)
committerGitHub <noreply@github.com>
Fri, 2 Mar 2018 03:32:11 +0000 (21:32 -0600)
commit5eafdb88526da64b60009e30bb45b7e0e47d360b
tree7503f2229ca3adc0210f249d46e79cd4163b7aa3tree
parentdfcd935acb928ff27c4b24a89de37338411d2543commit | diff
Create infrastructure for sygus modules (#1632)
src/Makefile.am diff | blob | history
src/theory/quantifiers/sygus/ce_guided_conjecture.cpp diff | blob | history
src/theory/quantifiers/sygus/ce_guided_conjecture.h diff | blob | history
src/theory/quantifiers/sygus/ce_guided_instantiation.cpp diff | blob | history
src/theory/quantifiers/sygus/ce_guided_instantiation.h diff | blob | history
src/theory/quantifiers/sygus/cegis.cpp [new file with mode: 0644] blob
src/theory/quantifiers/sygus/cegis.h [new file with mode: 0644] blob
src/theory/quantifiers/sygus/sygus_module.cpp [new file with mode: 0644] blob
src/theory/quantifiers/sygus/sygus_module.h [new file with mode: 0644] blob
src/theory/quantifiers/sygus/sygus_pbe.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_pbe.h diff | blob | history