11 Sep
2001
11 Sep
'01
2:18 p.m.
CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/09/11 14:18:41
Modified files: src : Constraint.cc
Log message: When writing constraints, write 2*A instead of 2A. This does not contribute to conciseness but is necessary in order to have other tools (such as Mesnard's cTi and Ciao-Prolog) parse the output of China.