projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a24e6ed) | patch
Move candidate rewrite code to own file (#1804)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 25 Apr 2018 16:29:59 +0000 (11:29 -0500)
committerGitHub <noreply@github.com>
Wed, 25 Apr 2018 16:29:59 +0000 (11:29 -0500)
commit6445c3dbf5fed9fa32426f041061234b5ac407f7
tree2e3d9bd40454e391f00b266a3e12d9e03fffb466tree
parenta24e6ed96031e7ac3978201ed80fb771ee0f425ecommit | diff
Move candidate rewrite code to own file (#1804)
src/Makefile.am diff | blob | history
src/theory/quantifiers/candidate_rewrite_database.cpp [new file with mode: 0644] blob
src/theory/quantifiers/candidate_rewrite_database.h [new file with mode: 0644] blob
src/theory/quantifiers/sygus/ce_guided_conjecture.cpp diff | blob | history
src/theory/quantifiers/sygus/ce_guided_conjecture.h diff | blob | history