turn off symmetry module

ths-rwth · Jun 13, 2024 · 39f4bda · 39f4bda
1 parent c9a15ea
commit 39f4bda
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/smtrat-strategies/strategies/PreprocessingTwo.h b/src/smtrat-strategies/strategies/PreprocessingTwo.h
@@ -26,7 +26,7 @@ namespace smtrat
         public:
             PreprocessingTwo(): Manager() {
 				setStrategy({
-					addBackend<SymmetryModule<SymmetrySettings1>>(
+					// addBackend<SymmetryModule<SymmetrySettings1>>(
 						// addBackend<GBPPModule<GBPPSettings1>>(
 							addBackend<MCBModule<MCBSettings1>>(
 								addBackend<ICEModule<ICESettings1>>(
@@ -40,7 +40,7 @@ namespace smtrat
 								)
 							)
 						// )
-					)
+					// )
 				});
 			}