NAME

       log - logical representations for boolean functions and utilities.

DESCRIPTION

       log  is  a  set of structures and functions that permits to manipulate several representations of boolean
       functions. Several programs and libraries of the  cao-vlsi  cad  tools  rest  on  the  log  package.  Two
       different kind of functions are available for:

       Prefixed representation for boolean functions

       Ordered binary decision diagrams representation

EXAMPLE

       Let's suppose that actual mbk version is 'nnn'.  In order to use log, libMutnnn.a library must be called.
       makefile:
       HEADER = -I/labo/include
       LIB = -L/labo/lib -lMutnnn -ltshmmm -lablmmm -lbddmmm
       Each  library  can be called separatly. The "logmmm.h" header file must be inserted in the files that use
       the functions or the structures defined in a library.

SEE ALSO

       mbk(1), beh(1),

AUTHOR

       L. BURGUN salle 30 T. 55-65 Universite P&M Curie - 4 pl. Jussieu - FRANCE

ASIM/LIP6                                        October 1, 1997                                          LOG(3)