[PPL-devel] PPL Library capabilities

[Michael Kalugin]

Hello

We have polyhedral representation in our research work and use your
library(PPL) through Java interface. We have the following problem:

we have a solution set described by a constraint system. We want to 
obtain several different arbitrary integer points from this set. Is 
there a feture in PPL that allows to solve this problem? And if there is 
such feature can we use it through Java interface?

Best regards,
Michael Kalugin