Adding kissat to SAT list of options

sagemath · Jan 15, 2023 · b1e287d · b1e287d
1 parent ba249f6
commit b1e287d
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/sage/sat/solvers/satsolver.pyx b/src/sage/sat/solvers/satsolver.pyx
@@ -368,6 +368,11 @@ def SAT(solver=None, *args, **kwds):
 
         sage: SAT(solver="glucose-syrup")
         DIMACS Solver: 'glucose-syrup -model -verb=2 {input}'
+
+    Forcing Kissat::
+
+        sage: SAT(solver="kissat")
+        DIMACS Solver: 'kissat -q {input} {output}'
     """
     if solver is None:
         import pkgutil
@@ -393,5 +398,8 @@ def SAT(solver=None, *args, **kwds):
     elif solver == 'glucose-syrup':
         from .dimacs import GlucoseSyrup
         return GlucoseSyrup(*args, **kwds)
+    elif solver == 'kissat':
+        from .dimacs import Kissat
+        return Kissat(*args, **kwds)
     else:
         raise ValueError("Solver '{}' is not available".format(solver))