[PPL-devel] Cardinality of integers of a abstract domain in ppl

[Sven Verdoolaege]

On Mon, May 27, 2013 at 11:30:38PM +0200, Zhoulai wrote:
> Dear all,
> 
> I would like to know whether PPL library has built - in way to count the
> number of integers satisfying an abstract domain in PPL ?

If you can't find it in PPL, you may want to have a look at barvinok or LattE,
which allow you to count the number of integer points in a polytope.

skimo