search

trolando / sylvan

Implementation of multi-core (binary) decision diagrams
Apache License 2.0
67 stars 29 forks source link

several improvements #6

Closed Meijuh closed 6 years ago