A fork of the BuDDy BDD library with a support of MTBDDs. Forked from https://github.com/SSoelvsten/buddy.
VeriFIT/MoToBuddy
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A fork of the BuDDy BDD library with a support of MTBDDs. Forked from https://github.com/SSoelvsten/buddy.