projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9cf481) | patch
Decouple sygus term database and term database. (#1317)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 9 Nov 2017 15:51:52 +0000 (09:51 -0600)
committerGitHub <noreply@github.com>
Thu, 9 Nov 2017 15:51:52 +0000 (09:51 -0600)
commit22b211647501a4dad5cec66c2ea6383ea8e7b7bd
treec4d3f95a8706dfd3c74d73e2d875bda09ef0fd90tree
parenta9cf481470c324a04f2254c5745eee26c45cb309commit | diff
 Decouple sygus term database and term database. (#1317)

* Decouple sygus term database and term database.

* Clang format

* Fix include
src/theory/quantifiers/term_database.cpp diff | blob | history
src/theory/quantifiers/term_database_sygus.cpp diff | blob | history
src/theory/quantifiers/term_database_sygus.h diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history