Merge pull request #19 from QuMuLab/pysat

Add PySAT support, add .solve(), make .models() lazy

Author: haz

.coveragerc

@@ -0,0 +1,5 @@
+[report]
+exclude_lines =
+    pragma: no cover
+    if t.TYPE_CHECKING:
+    if TYPE_CHECKING:

CONTRIBUTING.md

@@ -12,6 +12,8 @@ This will install and run all the tooling.
 
 `tox` aborts early if one of the steps fails. To run just the tests (for example if you can't get `mypy` to work), install and run [`pytest`](https://docs.pytest.org/en/latest/getting-started.html). To run just one particular test, run `pytest -k <name of test>`.
 
+To gather coverage information you can install `pytest-cov` and run `pytest --cov=nnf` followed by `coverage html`. This will generate a coverage report in a `htmlcov/` directory.
+
 ## Mypy
 
 [Mypy](https://mypy.readthedocs.io/en/stable/) is used for static typing. This is also managed by `tox`.

docs/nnf.rst

@@ -59,3 +59,11 @@ nnf.kissat module
    :members:
    :undoc-members:
    :show-inheritance:
+
+nnf.pysat module
+-----------------
+
+.. automodule:: nnf.pysat
+   :members:
+   :undoc-members:
+   :show-inheritance: