Projects

Integer Set Library

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] 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]

CLooG

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] based on the polytope model. Nevertheless it is used now in various area e.g. to build control automata for high-level synthesis or to find the best polynomial approximation of a function. CLooG may help in any situation where scanning polyhedra matters. While the user has full control on generated code quality, CLooG is designed to avoid control overhead and to produce a very effective code. [Less]

barvinok

barvinok is a library for counting the number of integer points in parametric and non-parametric polytopes.

Sketchup GSolaar Tools

A plugin to import GSolaar polyhedra to a SketchUp model.

GSolaar

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 - Polyhedron Modelling

Antiprism is a set of programs for generating, manipulating, transforming and visualising polyhedra.

Laidout

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!