0.2.1

daemontus released this 12 Jan 23:04

· 175 commits to master since this release

b098159

Fix a bug where Bdd.cardinality() could cycle forever if the Bdd is big enough (it contains several sub-paths with infinite cardinality).

Assets 2