The rbc package

Formula handling with Reduced Boolean Circuits (RBCs).

By Armando Tacchella, Marco Roveri


External functions and data structures of the rbc package.
Last updated on 2011/04/06 21h:12