GitHub repository: zhen8838/pet
Primary language: C
Created: 2023-07-04T15:58:34Z
Description: Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)