CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2001-12-20 09:21:43
Modified files:
src : Polyhedron.cc
Log message:
Modified the part of function Polyhedron::add_constraints(cs) that is
controlled by "#if 0": used Matrix::grow(size_t, size_t) instead of
resize(size_t, size_t) and swap instead of "=", where it is possible.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill(a)cs.unipr.it 2001-12-14 16:06:58
Added files:
interfaces/Prolog/SICStus: smmdiff.clpq
Log message:
smmdiff.clpq is based on smm.clpq and solves the classic
send-more-money problem so that each variable is bound to a unique number.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/smm…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill(a)cs.unipr.it 2001-12-14 16:04:35
Added files:
interfaces/Prolog/SICStus: clpq2.pl
Log message:
clpq2.pl is an alternative meta-interpreter with some extra features,
including disjunction.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…