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

github.com/Meinersbur/pet

Problem

Audience

Updates

No founder updates yet. Check back soon.