[PPL-devel] bug in Java minimized_constraints for 32bit Linux System

Hi, I found a problem using the Java bindings of the PPL 1.1pre10 on a 32bit Intel Linux systems. The program Y.java, which correctly works on 64bit systems, fails with the following error:

Exception in thread "main" javax.management.RuntimeErrorException at parma_polyhedra_library.Variable.<init>(Variable.java:49) at parma_polyhedra_library.Polyhedron.minimized_constraints(Native Method) at Y.main(Y.java:16) Caused by: java.lang.Error: parma_polyhedra_library.Variable::Variable: an index variable cannot be negative. ... 3 more

I am attaching the source code of the example, and the PPL config.log for a 32bit and a 64bit system I tried.

--gianluca