35 lines
935 B
Plaintext
35 lines
935 B
Plaintext
This directory contains the code of the LPAD anc CP-logic interpreter cplint
|
|
|
|
COMPILATION:
|
|
This package requires CUDD and GLIB version 1.2.
|
|
You can download CUDD from http://vlsi.colorado.edu/~fabio/CUDD/
|
|
You can download GLIB from http://www.gtk.org/. This is a standard Linux package
|
|
so it is easy to install using the package management software of your Linux
|
|
distribution
|
|
|
|
INSTALLATION:
|
|
Compile CUDD:
|
|
1) downlad cudd-2.4.2.tar.gz
|
|
2) decompress it
|
|
3) cd cudd-2.4.2
|
|
4) check makefile options
|
|
5) make
|
|
|
|
Installation of cplint:
|
|
When compiling Yap, use
|
|
configure --enable-cplint=DIR
|
|
Under Windows, you have to use cygwin (CUDD does not compile under MinGW), so
|
|
configure --enable-cplint --enable-cygwin=DIR
|
|
where DIR is the directory where you compiled CUDD
|
|
|
|
|
|
FEEDBACK:
|
|
|
|
Send feedback to:
|
|
|
|
Fabrizio Riguzzi
|
|
University of Ferrara
|
|
Dept. of Engineering
|
|
fabrizio.riguzzi@unife.it
|
|
http://www.ing.unife.it/Docenti/FabrizioRiguzzi/
|