isl
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, and computing the lexicographic minimum using parametric integer programming. It also includes an ILP solver based on generalized basis reduction.
| Licenses | LGPL |
|---|---|
| Implementation | C |
Recent releases
- 18 Dec 2011 17:17
Release Notes: This release mainly brings improved argument parsing and improved support for parameter sets.
- 21 Oct 2011 20:48
Release Notes: This release makes an explicit distinction between spaces of maps, sets, and parameter sets. It also introduces identifiers and multi-quasi-affine expressions.
- 13 Jul 2011 10:57
Release Notes: This release mainly adds support for piecewise quasi-affine expressions.
- 18 Mar 2011 21:04
Release Notes: This release mainly features an improved parser and some changes to the API that improve consistency.
- 05 Jan 2011 11:38
Release Notes: This release fixes a bug in the parametric integer programming symmetry detection.
skimo
23 Aug 2009 10:12
Heartbeat
- Popularity Score
- 129.34
- Vitality Score
- 13.20
- Subscriptions
- 6
