Adding the kissat docs.

haz · haz · commit ffce6710befe · 2020-08-04T23:43:02.000-04:00
diff --git a/docs/nnf.rst b/docs/nnf.rst
@@ -51,3 +51,11 @@ nnf.tseitin module
    :members:
    :undoc-members:
    :show-inheritance:
+
+nnf.kissat module
+-----------------
+
+.. automodule:: nnf.kissat
+   :members:
+   :undoc-members:
+   :show-inheritance:
