Skip to content

Commit 5ba79db

Browse files
committed
fixed MiniSatConfig doc for default CNF method
1 parent d77cea2 commit 5ba79db

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/main/java/org/logicng/solvers/sat/MiniSatConfig.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -406,7 +406,7 @@ public Builder proofGeneration(final boolean proofGeneration) {
406406

407407
/**
408408
* Sets the CNF method for converting formula which are not in CNF for the solver. The default value
409-
* is {@code FACTORY_CNF}.
409+
* is {@code PG_ON_SOLVER}.
410410
* @param cnfMethod the CNF method
411411
* @return the builder
412412
*/

0 commit comments

Comments
 (0)