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