search

trolando / sylvan

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

Simplify def. of libsylvan.so and libsylvan.a, and improve Sylvan's .pc file. #2

Closed Meijuh closed 7 years ago