descriptionInteger set library
homepage URL
last changeWed, 31 Aug 2016 08:18:47 +0000 (31 10:18 +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.
7 hours ago Michael Krusemake isl_space_has_equal_tuples publicmaster
7 hours ago Michael Kruseisl_space.c: isl_space_has_equal_tuples: return isl_bool
7 hours ago Michael Krusedoc: add description of isl_space_is_equal
2016-08-12 Sven Verdoolaegeisl_map_coalesce: only tighten non-redundant constraint...
2016-07-22 Sven VerdoolaegeMerge branch 'maint'
2016-07-22 Sven Verdoolaegeisl_basic_map_offset: handle NULL inputmaint
2016-07-22 Sven Verdoolaegeisl_basic_map_offset: rename "dim" variable to "space"
2016-07-21 Sven Verdoolaegeinterface/ add missing include
2016-07-19 Sven Verdoolaegedoc: minor clarification of anchored subtrees
2016-07-19 Sven Verdoolaegeisl_tab_pip.c: fix typos in comments
2016-07-19 Sven Verdoolaegeisl_set_min_val: fix handling of input with empty basic...
2016-07-19 Sven Verdoolaegeisl_*_partial_lex{min,max}_pw_multi_aff: remove existen...
2016-07-19 Sven Verdoolaegeisl_*_partial_lex{min,max}_pw_multi_aff: fix handling...
2016-07-19 Sven Verdoolaegeadd isl_basic_set_first_unknown_div
2016-07-19 Sven Verdoolaegeisl_tab_pip.c: isl_context_op.add_div: generalize to...
2016-07-19 Sven Verdoolaegeisl_tab_add_div: extract out isl_tab_insert_div
3 months ago isl-0.17.1 isl 0.17.1
3 months ago isl-0.17 isl 0.17
7 months ago isl-0.16.1 isl 0.16.1
7 months ago isl-0.16 isl 0.16
14 months ago isl-0.15 isl 0.15
16 months ago isl-0.14.1 isl-0.14.1
22 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
3 years ago isl-0.12.1 isl 0.12.1
3 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
4 years ago isl-0.10 isl 0.10
4 years ago isl-0.09 isl 0.09
7 hours ago master
5 weeks ago maint