search

utwente-fmt / sylvan

Multi-core Decision Diagram (BDD/LDD) implementation
Apache License 2.0
41 stars 8 forks source link

link to Python bindings from README #8

Closed johnyf closed 8 years ago

johnyf commented 8 years ago

Available in dd >= 0.4.1.