search

utwente-fmt / sylvan

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

autoconf: lower minimum required version and extra check for C11 #4

Closed Meijuh closed 8 years ago