| CARVIEW |
Select Language
HTTP/1.1 200 OK
Date: Fri, 26 Dec 2025 12:54:08 GMT
Server: Apache
Vary: X-Remote-User,Accept-Encoding
Content-Encoding: gzip
Content-Length: 6744
Content-Type: text/html; charset=utf-8
Public Git Hosting - isl.git/summary
| description | Integer set library |
| homepage URL | https://freshmeat.net/projects/isl |
| owner | skimo-isl@kotnet.org |
| last change | Sat, 22 Nov 2025 14:26:18 +0000 (22 15:26 +0100) |
| URL | git://repo.or.cz/isl.git |
| https://repo.or.cz/isl.git | |
| push URL | ssh://repo.or.cz/isl.git |
| https://repo.or.cz/isl.git (learn more) | |
| bundle info | isl.git downloadable bundles |
| content tags |
readme
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.
isl is released under the MIT license.
| 15 months ago | isl-0.27 | isl 0.27 | tag | | commit | log |
| 2 years ago | isl-0.26 | isl 0.26 | tag | | commit | log |
| 3 years ago | isl-0.25 | isl 0.25 | tag | | commit | log |
| 4 years ago | isl-0.24 | isl 0.24 | tag | | commit | log |
| 5 years ago | isl-0.23 | isl 0.23 | tag | | commit | log |
| 5 years ago | isl-0.22.1 | isl 0.22.1 | tag | | commit | log |
| 6 years ago | isl-0.22 | isl 0.22 | tag | | commit | log |
| 6 years ago | isl-0.21 | isl 0.21 | tag | | commit | log |
| 7 years ago | isl-0.20 | isl 0.20 | tag | | commit | log |
| 7 years ago | isl-0.19 | isl 0.19 | tag | | commit | log |
| 8 years ago | consecutivity_CW_709 | | commit | log | ||
| 9 years ago | isl-0.18 | isl 0.18 | tag | | commit | log |
| 9 years ago | isl-0.17.1 | isl 0.17.1 | tag | | commit | log |
| 9 years ago | isl-0.17 | isl 0.17 | tag | | commit | log |
| 9 years ago | isl-0.16.1 | isl 0.16.1 | tag | | commit | log |
| 9 years ago | isl-0.16 | isl 0.16 | tag | | commit | log |
| ... | ||||
| 4 weeks ago | master | log | tree |
| 2 years ago | maint | log | tree |
| 3 years ago | nana | log | tree |
| 4 years ago | consecutivity | log | tree |
| 5 years ago | pu | log | tree |
| 7 years ago | cpp | log | tree |
Cached version (5705s old)
| isl/isl.git | emery.berger@gmail.com | 3 months ago | summary | log | tree |