diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
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.
f26c4592bb
yap-6.3/cplint
History
rzf 0ca51355ce added memory profiling calls 
removed limit to 1000 variables imposed by createVars beause of the use
of tha array of names of variables


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2266 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-08 08:38:36 +00:00
..
doc added comments to the semantic modules 2007-12-04 18:30:35 +00:00
examples added some test file 2007-12-05 17:43:32 +00:00
Artistic license file 2007-11-15 12:25:20 +00:00
COPYRIGHT_SLG copyright file for the SLG system 2007-11-15 12:24:46 +00:00
cpl.pl added timing predicates 2008-06-03 12:27:55 +00:00
cplint_Prob.c removed unused variables and incorrect prototypes 2007-11-08 11:32:14 +00:00
cplint_yap.c added memory profiling calls 2008-06-08 08:38:36 +00:00
cplint.h added memory profiling calls 2008-06-08 08:38:36 +00:00
lpad.pl added timing predicates 2008-06-03 12:27:55 +00:00
lpadclpbn.pl added memory profiling calls 2008-06-08 08:38:36 +00:00
lpadsld.pl added memory profiling calls 2008-06-08 08:38:36 +00:00
lpadvel.pl added memory profiling calls 2008-06-08 08:38:36 +00:00
Makefile.in added installation of new solvers 2008-03-08 15:41:01 +00:00
README fixed typo in configure.in 2007-12-11 11:49:36 +00:00
semcpl.pl added comments to the semantic modules 2007-12-04 18:30:35 +00:00
semlpad.pl added comments to the semantic modules 2007-12-04 18:30:35 +00:00
semlpadsld.pl added comments to the semantic modules 2007-12-04 18:30:35 +00:00
slg.pl SLG system 2007-11-15 12:28:06 +00:00
testcpl.pl added comments to the semantic modules 2007-12-04 18:30:35 +00:00
testlpad.pl added some test file 2007-12-05 17:43:32 +00:00
testlpadclpbn.pl added test file for the new solvers 2008-03-08 15:40:21 +00:00
testlpadsld_gbfalse.pl added comments to the semantic modules 2007-12-04 18:30:35 +00:00
testlpadsld_gbtrue.pl added comments to the semantic modules 2007-12-04 18:30:35 +00:00
testlpadvel.pl added heuristics for elimination orderings: 2008-04-29 22:24:30 +00:00
testsemcpl.pl added comments to the semantic modules 2007-12-04 18:30:35 +00:00
testsemlpad.pl added some test file 2007-12-05 17:43:32 +00:00
testsemlpadsld.pl added test file for semlpadsld.pl and semlpad.pl 2007-12-04 18:31:34 +00:00

README 

This directory contains the code of the LPAD anc CP-logic interpreter cplint

COMPILATION:
This package requires GLU (a subpackage of VIS) and GLIB version 1.2.
You can download GLU from http://vlsi.colorado.edu/~vis/getting_VIS_2.1.html
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:
Install glu:
	1) downlad glu-2.1.tar.gz
	2) decompress it
	3) cd glu-2.1
	3) mkdir arch
	4) cd arch
	5) ../configure
	6) make
	7) su
	8) make install
This will install glu into /usr/local, if you want to install to a different DIR
use ../configure --prefix DIR

Installation of cplint:
When compiling Yap, use
	configure --enable-cplint
Under Windows, you have to use cygwin (glu does not compile under MinGW), so
	configure --enable-cplint --enable-cygwin
If you installed glu in DIR, use --enable-cplint=DIR


FEEDBACK:

Send feedback to:

Fabrizio Riguzzi
University of Ferrara 
Dept. of Engineering
fabrizio.riguzzi@unife.it
http://www.ing.unife.it/Docenti/FabrizioRiguzzi/