Select a tag to browse associated projects and drill deeper into the tag cloud.
isl is a library for manipulating sets and relations of integer points bounded by linear constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, computing the lexicographic minimum using ... [More]
CLooG is a free software and library to generate code for scanning Z-polyhedra. That is, it finds a code (e.g. in C, FORTRAN...) that reaches each integral point of one or more parameterized polyhedra. CLooG has been originally written to solve the code generation problem for optimizing compilers ... [More]
barvinok is a library for counting the number of integer points in parametric and non-parametric polytopes.
EN : Visualization of non-convex polyhedra and pattern generating for paper building. FR : Visualisation de polyèdres non-convexes et génération de patrons pour une construction papier.
Antiprism is a set of programs for generating, manipulating, transforming and visualising polyhedra.
Laidout is desktop publishing software for Linux, particularly for multipage, cut and folded booklets, with page sizes that don't even have to be rectangular. Bug reports welcome!