img avatar
 
× You must be logged in to change this data. If you don't have an account, please join.

Settings : Manage Projects

  Name I Use This Lines of Code   Current Committers Community Rating Reviews Description  
Polyhedral Extrac... 9 20905
1 none 0 Pet extracts a polyhedral model from C source using LLVM/clang to parse C code and isl to represent sets and relations.
ppcg 1 12112
1 none 0 The Polyhedral Parallel Code Generator. PPCG is a source-to-source compiler generating OpenCL or CUDA GPGPU code from sequential programs.
barvinok 4 49556
2 none 0 barvinok is a library for counting the number of integer points in parametric and non-parametric polytopes.
Integer Set Library 15 261038
5 none 0 isl is a library for manipulating sets and relations of integer points bounded by linear ... [More] constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, computing the lexicographic minimum using parametric integer programming, coalescing and parametric vertex enumeration. It also includes an ILP solver based on generalized basis reduction, transitive closures on maps (which may encode infinite graphs), dependence analysis and bounds on piecewise step-polynomials. [Less]