[PPL-devel] Polyhedra/src ConSys.cc Constraint.inlines.hh ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at 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.