Polyhedra/src ConSys.cc GenSys.cc Polyhedron.c ...

15 Jun 2001


      CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	stazzone@sandbox.cs.unipr.it	01/06/15 11:49:58
Modified files:
    src            : ConSys.cc GenSys.cc Polyhedron.cc 
                     Polyhedron.defs.hh SatRow.inlines.hh 
                     Status.defs.hh conversion.cc minimize.cc 
                     simplify.cc
Log message:
    Minor changes in documentation.

Angela Stazzone

tags (0)

participants (1)