sylvan-sys (cargo): Bindings for the Sylvan parallel decision diagrams library.
Keywords: parallel|symbolic|bdd