fixed MiniSatConfig doc for default CNF method

logic-ng · Jul 22, 2024 · 5ba79db · 5ba79db
1 parent d77cea2
commit 5ba79db
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/org/logicng/solvers/sat/MiniSatConfig.java b/src/main/java/org/logicng/solvers/sat/MiniSatConfig.java
@@ -406,7 +406,7 @@ public Builder proofGeneration(final boolean proofGeneration) {
 
         /**
          * Sets the CNF method for converting formula which are not in CNF for the solver.  The default value
-         * is {@code FACTORY_CNF}.
+         * is {@code PG_ON_SOLVER}.
          * @param cnfMethod the CNF method
          * @return the builder
          */