[PPL-devel] Fwd: Requesting functionality information of PPL

[Roberto Bagnara]

On 19/02/19 07:21, RAKESH ARYA wrote:
> I require generation of all possible (unique) polyhedrons for a given
> number of vertices for a project.
> Can I achieve this using PPL?
> 
> Thank you for your consideration.
> 
> --
> Rakesh Arya
> (Undergraduate Student,
> Indian Institute of Science)

Hi Rakesh,

can you please clarify?

For most pairs of natural numbers n and k, there is an infinite
number of convex polyhedra with n vertices in space dimension k.
Kind regards,

    Roberto Bagnara

-- 
      Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                               BUGSENG srl - http://bugseng.com
                               mailto:roberto.bagnara at bugseng.com