search

trolando / sylvan

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

Add CMake build folder to gitignore #28

Closed SSoelvsten closed 2 years ago