CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/09/24 10:27:20

Modified files: src : ConSys.cc Constraint.inlines.hh GenSys.cc Makefile.am Makefile.in Matrix.cc Matrix.inlines.hh Row.inlines.hh SatMatrix.cc SatMatrix.inlines.hh conversion.cc src/Integer : Integer.cc Integer.defs.hh Added files: src : maxmin.hh

Log message: Several improvements.