diff options
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 26cc5bbcc..f0aee982c 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -562,6 +562,12 @@ libcvc4_add_sources( theory/quantifiers/sygus/cegis_core_connective.h theory/quantifiers/sygus/cegis_unif.cpp theory/quantifiers/sygus/cegis_unif.h + theory/quantifiers/sygus/example_eval_cache.cpp + theory/quantifiers/sygus/example_eval_cache.h + theory/quantifiers/sygus/example_infer.cpp + theory/quantifiers/sygus/example_infer.h + theory/quantifiers/sygus/example_min_eval.cpp + theory/quantifiers/sygus/example_min_eval.h theory/quantifiers/sygus/enum_stream_substitution.cpp theory/quantifiers/sygus/enum_stream_substitution.h theory/quantifiers/sygus/example_infer.cpp |