diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-04-07 14:30:58 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-07 19:30:58 +0000 |
| commit | 8838a4e8ac47f94089044e2c638376c28a0fd7cd (patch) | |
| tree | d8186c5fb4609b65151fd3c7726a68176f3e8968 /src/CMakeLists.txt | |
| parent | 887a75715761767bb7fd7b1d71e188399a4edd3b (diff) | |
Add term pools utility (#6243)
This utility will be used to track pools for pool-based instantiation.
Diffstat (limited to 'src/CMakeLists.txt')
| -rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 04ad27b5c..2bcda537c 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -786,6 +786,8 @@ libcvc4_add_sources( theory/quantifiers/skolemize.h theory/quantifiers/solution_filter.cpp theory/quantifiers/solution_filter.h + theory/quantifiers/term_pools.cpp + theory/quantifiers/term_pools.h theory/quantifiers/term_tuple_enumerator.cpp theory/quantifiers/term_tuple_enumerator.h theory/quantifiers/sygus/ce_guided_single_inv.cpp |