blinkybool / FR

FR

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)

Report