search

utwente-fmt / sylvan

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

Fix sylvan_fprintdot_nc missing quote #5

Closed dopefishh closed 8 years ago

dopefishh commented 8 years ago

Graphviz generates bad output without this quote.

trolando commented 8 years ago

Thanks.