Provided by: alliance_5.1.1-1.1build1_amd64 
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