Counting moved to py-aiger

mvcisback · web-flow · commit 0521698ac991 · 2018-08-21T21:43:37.000-07:00
diff --git a/README.md b/README.md
@@ -111,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'.
