add back cea solver

uuverifiers · Jun 28, 2024 · 98381af · 98381af
1 parent 308d720
commit 98381af
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/main/scala/ostrich/OstrichMain.scala b/src/main/scala/ostrich/OstrichMain.scala
@@ -80,6 +80,13 @@ object PortfolioSetup {
             f"-stringSolver=$ostrichStringTheory",
             1000000000,
             2000),
+          ParallelFileProver.Configuration(
+            Param.STRING_THEORY_DESC.set(
+              baseSettings,
+              ceaStringTheory),
+            "+cea",
+            1000000000,
+            2000),
           ParallelFileProver.Configuration(
             Param.STRING_THEORY_DESC.set(
               baseSettings,