projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b5c27d) | patch
Document sygus programming-by-examples utility (#1260)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 23 Oct 2017 19:43:20 +0000 (14:43 -0500)
committerGitHub <noreply@github.com>
Mon, 23 Oct 2017 19:43:20 +0000 (14:43 -0500)
commit2f11cfd563ef96402042e9a3b0086712de660ae6
tree29d507f91278a31b466d7cbe54342f016451eaa0tree
parent6b5c27d7f634eb5985ce455989fcda36e1261929commit | diff
Document sygus programming-by-examples utility (#1260)

* Initial documentation and clean up of SyGuS PBE class, fix issue with concat strategy.

* More documentation, cleanup.

* Do not use concat strategy for 3+ arguments to concat, add regression.

* Minor
src/theory/quantifiers/ce_guided_pbe.cpp diff | blob | history
src/theory/quantifiers/ce_guided_pbe.h diff | blob | history
test/regress/regress0/sygus/Makefile.am diff | blob | history
test/regress/regress0/sygus/strings-concat-3-args.sy [new file with mode: 0644] blob