[PPL-devel] Import

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2001-10-10 21:45:52

Log message:
    Imported into the new repository.
    
    Status:
    
    Vendor Tag:	RB
    Release Tags:	INIT
    
    N ppl/TODO
    N ppl/ChangeLog
    N ppl/AUTHORS
    N ppl/COPYING
    N ppl/Makefile.am
    N ppl/INSTALL
    N ppl/Makefile.in
    N ppl/NEWS
    N ppl/ppl.lsm.in
    N ppl/README
    N ppl/acconfig.h
    N ppl/aclocal.m4
    N ppl/config.guess
    N ppl/config.h.in
    N ppl/config.sub
    N ppl/configure
    N ppl/configure.in
    N ppl/depcomp
    N ppl/install-sh
    N ppl/missing
    N ppl/mkinstalldirs
    N ppl/.cvsignore
    N ppl/stamp-h.in
    N ppl/ppl.spec.in
    N ppl/doc/Makefile.am
    N ppl/doc/Makefile.in
    N ppl/doc/Polyhedra.texinfo
    N ppl/doc/definitions.dox
    N ppl/doc/devref.doxyconf-html.in
    N ppl/doc/devref.doxyconf-pdf.in
    N ppl/doc/devref.tex
    N ppl/doc/gfdl.dox
    N ppl/doc/gpl.dox
    N ppl/doc/gpl.texi
    N ppl/doc/gpl.texinfo
    N ppl/doc/texinfo.tex
    N ppl/doc/user.doxyconf-pdf.in
    N ppl/doc/user.tex
    N ppl/doc/user.doxyconf-html.in
    N ppl/src/ConSys.cc
    N ppl/src/ConSys.defs.hh
    N ppl/src/ConSys.inlines.hh
    N ppl/src/ConSys.types.hh
    N ppl/src/Constraint.cc
    N ppl/src/Constraint.defs.hh
    N ppl/src/Constraint.types.hh
    N ppl/src/GenSys.cc
    N ppl/src/GenSys.defs.hh
    N ppl/src/GenSys.inlines.hh
    N ppl/src/GenSys.types.hh
    N ppl/src/Generator.cc
    N ppl/src/Generator.defs.hh
    N ppl/src/Generator.inlines.hh
    N ppl/src/Generator.types.hh
    N ppl/src/Constraint.inlines.hh
    N ppl/src/LinExpression.cc
    N ppl/src/LinExpression.defs.hh
    N ppl/src/LinExpression.types.hh
    N ppl/src/Makefile.am
    N ppl/src/Makefile.in
    N ppl/src/Matrix.cc
    N ppl/src/Matrix.defs.hh
    N ppl/src/Matrix.inlines.hh
    N ppl/src/Matrix.types.hh
    N ppl/src/Polyhedron.cc
    N ppl/src/Polyhedron.defs.hh
    N ppl/src/Polyhedron.inlines.hh
    N ppl/src/Polyhedron.types.hh
    N ppl/src/Row.cc
    N ppl/src/Row.defs.hh
    N ppl/src/Row.inlines.hh
    N ppl/src/Row.types.hh
    N ppl/src/SatMatrix.cc
    N ppl/src/SatMatrix.defs.hh
    N ppl/src/SatMatrix.inlines.hh
    N ppl/src/SatMatrix.types.hh
    N ppl/src/SatRow.cc
    N ppl/src/SatRow.defs.hh
    N ppl/src/SatRow.inlines.hh
    N ppl/src/SatRow.types.hh
    N ppl/src/Status.cc
    N ppl/src/Status.defs.hh
    N ppl/src/Status.inlines.hh
    N ppl/src/Status.types.hh
    N ppl/src/Variable.cc
    N ppl/src/Variable.defs.hh
    N ppl/src/Variable.inlines.hh
    N ppl/src/Variable.types.hh
    N ppl/src/conversion.cc
    N ppl/src/minimize.cc
    N ppl/src/simplify.cc
    N ppl/src/LinExpression.inlines.hh
    N ppl/src/protect.sed
    N ppl/src/restore.sed
    N ppl/src/globals.cc
    N ppl/src/globals.hh
    N ppl/src/maxmin.hh
    N ppl/src/ppl.cc
    
    No conflicts created by this import