How to get max var - Githubissues

trolando / sylvan

Implementation of multi-core (binary) decision diagrams

Apache License 2.0

67 stars 29 forks source link

Open gipsyh opened 1 year ago

gipsyh commented 1 year ago

How to get max var thanks

SSoelvsten commented 1 year ago

The maximum variable of what? The maximum variable supported by Sylvan or the maximum variable of a single BDD (i.e. the deepest variable)?