diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-09-27 09:27:19 -0500 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-09-27 09:27:29 -0500 |
| commit | e277b4d220a1d15ac32f6e4fc5f06e88f55b7f68 (patch) | |
| tree | 2a56691dea81453e5f9ba42e859fdc6783fa1545 /src/theory/quantifiers/Makefile.am | |
| parent | ccd1ca4c32e8a3eac8b18911a7b2d32b55203707 (diff) | |
Add new symmetry breaking technique for finite model finding. Improvements to bounded integer quantifier instantiation.
Diffstat (limited to 'src/theory/quantifiers/Makefile.am')
| -rw-r--r-- | src/theory/quantifiers/Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/theory/quantifiers/Makefile.am b/src/theory/quantifiers/Makefile.am index 80011868b..be24d6c67 100644 --- a/src/theory/quantifiers/Makefile.am +++ b/src/theory/quantifiers/Makefile.am @@ -52,7 +52,10 @@ libquantifiers_la_SOURCES = \ rewrite_engine.h \ rewrite_engine.cpp \ relevant_domain.h \ - relevant_domain.cpp + relevant_domain.cpp \ + symmetry_breaking.h \ + symmetry_breaking.cpp + EXTRA_DIST = \ kinds \ |