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 2009/03/04 13h:34