search

tulip-control / dd

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
https://pypi.org/project/dd
Other
181 stars 39 forks source link

consider renaming `sat_len` to `count` #28

Closed johnyf closed 7 years ago

johnyf commented 7 years ago

For the same reasons as #27 and similarly to the method omega.symbolic.fol.Context.count.