Merge branch 'master' of github.com:mvcisback/py-aiger

Author: mvcisback

README.md

@@ -99,9 +99,10 @@ aag3 = aag1 >> aag2
 aig4 = aag1 | aag2
 ```
 
-## Adding Feedback (inserts a delay)
+## Circuits with Latches/Feedback/Delay
 ```python
-# Connect output y to input x with delay (initialized to True).
+# Connect output y to input x with delay, initialized to True.
+# (Default initialization is False.)
 aig5 = aig1.feedback(
     inputs=['x'],
     outputs=['y'],
@@ -110,12 +111,6 @@ aig5 = aig1.feedback(
 )
 ```
 
-## Count solutions
-```python
-# Assume 1 output. This could be passed as an argument in the future.
-print(utils.count(aag3))
-```
-
 ## Relabeling
 ```python
 # Relabel input 'x' to 'z'.