---
name: "alliance-log"
section: "3"
platform: "linux"
package: "alliance"
version: "5.1.1-3"
release: "Debian 10 (Buster)"
platforms: ["linux"]
url: "https://new.carta.tech/alliance-log"
---

# alliance-log(3)

logical representations for boolean functions and utilities.

## 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\