projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f149cd3) | patch
Updates to interface for Sygus grammar construction. (#1323)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 7 Nov 2017 01:18:09 +0000 (19:18 -0600)
committerGitHub <noreply@github.com>
Tue, 7 Nov 2017 01:18:09 +0000 (19:18 -0600)
commitaaab8e0be83c093e27e0e4d4843cdd1e80e1157b
tree13f7ea17e4fda678adc356b5640c9b81a32ae044tree
parentf149cd31f8d96a76b34668eb4cd593aa2b5bb7c8commit | diff
Updates to interface for Sygus grammar construction. (#1323)

* Updates to interface for grammar construction.

* Minor

* Format
src/theory/quantifiers/ce_guided_conjecture.cpp diff | blob | history
src/theory/quantifiers/sygus_grammar_cons.cpp diff | blob | history
src/theory/quantifiers/sygus_grammar_cons.h diff | blob | history