remove the InstGen implementation

vprover · Aug 17, 2023 · d8b2702 · d8b2702
1 parent f2b2df3
commit d8b2702
Show file tree

Hide file tree

Showing 18 changed files with 56 additions and 1,924 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -477,14 +477,6 @@ set(VAMPIRE_INFERENCE_SOURCES
     )
 source_group(inference_source_files FILES ${VAMPIRE_INFERENCE_SOURCES})
 
-set(VAMPIRE_INSTANCEGENERATION_SOURCES
-    InstGen/IGAlgorithm.cpp
-    InstGen/ModelPrinter.cpp
-    InstGen/IGAlgorithm.hpp
-    InstGen/ModelPrinter.hpp
-    )
-source_group(instancegeneration_source_files FILES ${VAMPIRE_INSTANCEGENERATION_SOURCES})
-
 set(VAMPIRE_SAT_SOURCES
     SAT/BufferedSolver.cpp
     SAT/FallbackSolverWrapper.cpp
@@ -766,7 +758,6 @@ set(VAMPIRE_SOURCES
     ${VAMPIRE_KERNEL_SOURCES}
     ${VAMPIRE_INDEXING_SOURCES}
     ${VAMPIRE_INFERENCE_SOURCES}
-    ${VAMPIRE_INSTANCEGENERATION_SOURCES}
     ${VAMPIRE_SAT_SOURCES}
     ${VAMPIRE_DECISION_PROCEDURES_SOURCES}
     ${VAMPIRE_SATURATION_SOURCES}

diff --git a/Doxyfile b/Doxyfile
@@ -20,7 +20,7 @@ WARN_IF_UNDOCUMENTED    = YES
 # input files settings
 #
 
-INPUT			= Api CASC Debug DP FMB Indexing Inferences InstGen Kernel Lib Minisat Parse SAT Saturation Shell VUtils Global.cpp vampire.cpp
+INPUT			= Api CASC Debug DP FMB Indexing Inferences Kernel Lib Minisat Parse SAT Saturation Shell VUtils Global.cpp vampire.cpp
 FILE_PATTERNS		= *.cpp *.hpp *.cc *.h
 RECURSIVE		= YES
 EXCLUDE_SYMLINKS = YES