descriptionInteger set library
homepage URL
last changeMon, 2 May 2016 12:38:51 +0000 (2 14:38 +0200)
content tags
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.
29 hours ago Michael Kruseisl_test_int: fix memory leakmaster
3 days ago Michael Krusedoc: Use T1 font encoding
7 days ago Sven VerdoolaegeMerge branch 'maint' into release
7 days ago Sven Verdoolaegedoc: add some further reading
7 days ago Sven Verdoolaegedoc: update integer set coalescing reference
7 days ago Sven Verdoolaegedoc: add pip experiment inputs to distribution
9 days ago Sven Verdoolaegedoc: add DOIs to some more bibtex entries
9 days ago Sven Verdoolaegedoc: use biblatex for printing references
9 days ago Sven Verdoolaegedoc: set algorithmautorefname
9 days ago Sven Verdoolaegedoc: replace freshmeat links
9 days ago Sven Verdoolaegedoc: rename isl_union_pw_aff_foreach_pw_aff callback...
9 days ago Sven Verdoolaegeavoid use of VLAs
2016-04-18 Sven Verdoolaegeisl_schedule_constraints_compute_schedule: optionally...
2016-04-18 Sven Verdoolaegeisl_scheduler.c: add_node: pass in instance set instead...
2016-04-18 Sven Verdoolaegeisl_scheduler.c: add_node: minor clean-up
2016-04-18 Sven Verdoolaegeisl_scheduler.c: non_neg_lexmin: extract out non_empty_...
3 months ago isl-0.16.1 isl 0.16.1
3 months ago isl-0.16 isl 0.16
10 months ago isl-0.15 isl 0.15
12 months ago isl-0.14.1 isl-0.14.1
18 months ago isl-0.14 isl 0.14
2 years ago isl-0.13 isl 0.13
2 years ago isl-0.12.2 isl 0.12.2
2 years ago isl-0.12.1 isl 0.12.1
2 years ago isl-0.12 isl 0.12
3 years ago isl-0.11.2 isl 0.11.2
3 years ago isl-0.11.1 isl 0.11.1
3 years ago isl-0.11 isl 0.11
3 years ago isl-0.10 isl 0.10
4 years ago isl-0.09 isl 0.09
4 years ago isl-0.08 isl 0.08
4 years ago isl-0.07 isl 0.07
29 hours ago master
2 weeks ago maint