Version bump.

QuMuLab · Sep 16, 2020 · 75142d9 · 75142d9
1 parent e2d554d
commit 75142d9
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -53,11 +53,21 @@ Complete documentation can be found at [readthedocs](https://python-nnf.readthed
 
 # Installing
 
+At least Python 3.4 is required.
+
+## Recommended
+
+Install with support for a variety of SAT solvers.
+
 ```sh
-pip install nnf
+pip install nnf[pysat]
 ```
 
-At least Python 3.4 is required.
+## Vanilla
+
+```sh
+pip install nnf
+```
 
 # Serialization
 

diff --git a/setup.py b/setup.py
@@ -5,7 +5,7 @@
 
 setuptools.setup(
     name="nnf",
-    version='0.2.1',
+    version='0.3.0',
     author="Jan Verbeek, Christian Muise",
     author_email="[email protected]; [email protected]",
     description="Manipulate NNF (Negation Normal Form) logical sentences",