pet. Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)

github.com/zhen8838/pet

Problem

Audience

Updates

No founder updates yet. Check back soon.