projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c93d0c) | patch
Add sygus enumerator callback (#6923)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 27 Jul 2021 00:20:40 +0000 (19:20 -0500)
committerGitHub <noreply@github.com>
Tue, 27 Jul 2021 00:20:40 +0000 (00:20 +0000)
commit4640dd5d09d65761ab96ea7f6848d823a3a43278
tree4ecba21afd344ed3728aba509c8238df092e209ftree
parent1c93d0ca2cdab222dc122ad3a5c9b4bc28e2ef9ccommit | diff
Add sygus enumerator callback (#6923)

This class will make the uses of the fast enumerator customizable.
src/CMakeLists.txt diff | blob | history
src/theory/quantifiers/sygus/sygus_enumerator_callback.cpp [new file with mode: 0644] blob
src/theory/quantifiers/sygus/sygus_enumerator_callback.h [new file with mode: 0644] blob