15 Jun
2001
15 Jun
'01
11:49 a.m.
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.