projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc6e0f9) | patch
New module for synthesizing functions in a data-driven SyGuS approach (#1819)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Fri, 27 Apr 2018 19:33:01 +0000 (14:33 -0500)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 27 Apr 2018 19:33:01 +0000 (14:33 -0500)
commit79296a59e00efe5b00496a251005d01dbeddcd48
tree773707452668638b2266c78b65fad31d6a40280atree
parentdc6e0f9c0489e733a70e6715b8dfba4e7fa4f0bdcommit | diff
New module for synthesizing functions in a data-driven SyGuS approach (#1819)
src/Makefile.am diff | blob | history
src/options/quantifiers_options.toml 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/cegis_unif.cpp [new file with mode: 0644] blob
src/theory/quantifiers/sygus/cegis_unif.h [new file with mode: 0644] blob
src/theory/quantifiers/sygus/sygus_unif_rl.cpp [new file with mode: 0644] blob
src/theory/quantifiers/sygus/sygus_unif_rl.h [new file with mode: 0644] blob