PV1 Sylvanimplements consistency-preserving transformations of BDDs on multicore

Library for binary decision diagrams that provides scalable parallel execution.

Application domain/field

Type of tool

Library for Binary Decision Diagrams (BDDs)

Comments

License: Apache-2.0
BDD Library

Links

Last commit date

11 October 2021

Related papers

Last publication date

3 April 2019

Related tools

CUDD

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.