src/sage/features/sat.py: New

Author: Matthias Koeppe

src/sage/features/sat.py

@@ -0,0 +1,30 @@
+# sage_setup: distribution = sagemath-environment
+r"""
+Feature for testing the presence of SAT solvers
+"""
+
+class Kissat(Executable):
+    r"""
+    A :class:`~sage.features.Feature` describing the presence of the
+    :ref:`Kissat SAT solver <spkg_kissat>`.
+
+    EXAMPLES::
+
+        sage: from sage.features.kissat import Kissat
+        sage: Kissat().is_present()                             # optional - kissat
+        FeatureTestResult('kissat', True)
+    """
+    def __init__(self):
+        r"""
+        TESTS::
+
+            sage: from sage.features.kissat import Kissat
+            sage: isinstance(Kissat(), Kissat)
+            True
+        """
+        Executable.__init__(self, name="kissat", executable="kissat",
+                            spkg="kissat", type="optional")
+
+
+def all_features():
+    return [Kissat()]