The rbc package

Formula handling with Reduced Boolean Circuits (RBCs).

By Armando Tacchella


External functions and data structures of the rbc package.
Last updated on 1011105 17h15