Hi, I think there is a bug in the "frequency" method in the PPL java bindings. Every time it is called, the UnsatisfiedLinkError excpetion is thrown. Here is an example for the C_Polyehdron class, but the same happens for other classes.
import parma_polyhedra_library.*;
public class ProvaPPL { public static void main(String[] args) { System.load("/usr/local/lib/ppl/libppl_java.so"); Parma_Polyhedra_Library.initialize_library();
Coefficient c1 = new Coefficient(0); Coefficient c2 = new Coefficient(0); Coefficient c3 = new Coefficient(0); Coefficient c4 = new Coefficient(0); Linear_Expression le = new Linear_Expression_Variable(new Variable(0)); C_Polyhedron v = new C_Polyhedron(3, Degenerate_Element.UNIVERSE); v.frequency(le, c1, c2, c3, c4); } }
--gianluca