30 May
2013
30 May
'13
8:31 a.m.
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