A hybrid representation of boolean functions, with algorithms to perform logical operations
- F - Equivalence classes of variables (and ground variables)
- R - An ROBDD (Reduced Ordered Binary Decision Diagram)
blinkybool/FR
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|