This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
yap-6.3/packages/cplint
2010-07-27 23:03:06 +02:00
..
approx moved to Artistic license 2.0 2010-05-06 18:02:07 +02:00
doc removed dependency from glu, now cplint depends only on CUDD 2010-07-27 17:55:52 +02:00
examples update package locations to a subdir packages 2009-02-16 12:23:29 +00:00
Artistic update package locations to a subdir packages 2009-02-16 12:23:29 +00:00
COPYRIGHT_SLG update package locations to a subdir packages 2009-02-16 12:23:29 +00:00
cpl.pl update package locations to a subdir packages 2009-02-16 12:23:29 +00:00
cplint_Prob.c simplified hash table management 2010-07-27 23:03:06 +02:00
cplint_yap.c simplified hash table management 2010-07-27 23:03:06 +02:00
cplint.h simplified hash table management 2010-07-27 23:03:06 +02:00
lpad.pl adapation to 6.0.5 (builtin intersection) 2010-05-14 17:38:47 +02:00
lpadclpbn.pl adapation to 6.0.5 (builtin intersection) 2010-05-14 17:38:47 +02:00
lpadsld.pl adapation to 6.0.5 (builtin intersection) 2010-05-14 17:38:47 +02:00
lpadvel.pl adapation to 6.0.5 (builtin intersection) 2010-05-14 17:38:47 +02:00
Makefile.in the sage of configuring everything goes on! 2010-06-21 11:54:21 +01:00
picl.pl adapation to 6.0.5 (builtin intersection) 2010-05-14 17:38:47 +02:00
README removed dependency from glu, now cplint depends only on CUDD 2010-07-27 17:55:52 +02:00
semcpl.pl update package locations to a subdir packages 2009-02-16 12:23:29 +00:00
semlpad.pl update package locations to a subdir packages 2009-02-16 12:23:29 +00:00
semlpadsld.pl update package locations to a subdir packages 2009-02-16 12:23:29 +00:00
slg.pl added approximated cplint 2010-03-18 16:11:21 +01:00
testcpl.pl added approximated cplint 2010-03-18 16:11:21 +01:00
testlpad.pl update package locations to a subdir packages 2009-02-16 12:23:29 +00:00
testlpadclpbn.pl update package locations to a subdir packages 2009-02-16 12:23:29 +00:00
testlpadsld_gbfalse.pl update package locations to a subdir packages 2009-02-16 12:23:29 +00:00
testlpadsld_gbtrue.pl update package locations to a subdir packages 2009-02-16 12:23:29 +00:00
testlpadsldit.pl update package locations to a subdir packages 2009-02-16 12:23:29 +00:00
testlpadslditc.pl update package locations to a subdir packages 2009-02-16 12:23:29 +00:00
testlpadslditr.pl update package locations to a subdir packages 2009-02-16 12:23:29 +00:00
testlpadvel.pl added approximated cplint 2010-03-18 16:11:21 +01:00
testsemcpl.pl update package locations to a subdir packages 2009-02-16 12:23:29 +00:00
testsemlpad.pl added approximated cplint 2010-03-18 16:11:21 +01:00
testsemlpadsld.pl added approximated cplint 2010-03-18 16:11:21 +01:00

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/