Linux Man Page Viewer
The following form allows you to view linux man pages.
This software belongs to the AALLLLIIAANNCCEE CCAADD SSYYSSTTEEMM developed by the ASIM
team at LIP6 laboratory of Universite Pierre et Marie CURIE, in Paris,
Web : http://asim.lip6.fr/recherche/alliance/
E-mail : firstname.lastname@example.org
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. Three dif-
ferent kind of functions are available for:
Hash table management
Prefixed representation for boolean functions
Ordered binary decision diagrams representation
Let's suppose that actual mbk version is 'nnn'. In order to use log,
libMutnnn.a library must be called.
HEADER = -I/labo/include
LIB = -L/labo/lib -lMut -ltsh -labl -lbdd
Each library can be called separatly. The "log.h" header file must be
inserted in the files that use the functions or the structures defined
in a library.
L. BURGUN salle 30 T. 55-65 Universite P&M Curie - 4 pl. Jussieu -
Thanks to P. REMY, F. PETROT, P. ALLEGRE and N. DICTUS.
This tool is under development at the ASIM department of the LIP6 labo-
We need your feedback to improve documentation and tools.