descriptionInteger set library
homepage URL
last changeThu, 12 Oct 2017 20:59:22 +0000 (12 22:59 +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.
5 days ago Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: split on parametric... master
2017-09-27 Sven Verdoolaegeisl_test.c: test_dim_max_1: extract out check_single_piece
2017-09-27 Sven Verdoolaegeisl_tab_pip.c: extract out shared {row,col}_is_paramete...
2017-09-27 Sven Verdoolaegeisl_test.c: test_list: do not consider internal failure...
2017-09-27 Sven Verdoolaegeisl_test.c: test_un_val: do not consider internal failu...
2017-09-27 Sven Verdoolaegeisl_tab_basic_set_non_trivial_lexmin: extract out bette...
2017-09-27 Sven Verdoolaegeisl_tab_basic_set_constrained_lexmin: extract out pick_side
2017-09-27 Sven Verdoolaegeisl_tab_basic_set_non_trivial_lexmin: skip known imposs...
2017-09-27 Sven Verdoolaegeisl_tab_pip.c: enter_level: extract out finished_all_cases
2017-09-27 Sven Verdoolaegeisl_tab_basic_set_non_trivial_lexmin: extract out enter...
2017-09-27 Sven Verdoolaegeisl_tab_pip.c: move current best solution into isl_lexm...
2017-09-27 Sven Verdoolaegeisl_tab_basic_set_non_trivial_lexmin: extract out init_...
2017-09-27 Sven Verdoolaegeisl_tab_pip.c: first_trivial_region: pass isl_lexmin_data
2017-09-27 Sven Verdoolaegeisl_tab_pip.c: move tableau into isl_lexmin_data
2017-09-27 Sven Verdoolaegeisl_tab_basic_set_non_trivial_lexmin: extract out updat...
2017-09-27 Sven Verdoolaegeisl_tab_pip.c: move isl_local_region array into isl_lex...
9 months ago isl-0.18 isl 0.18
17 months ago isl-0.17.1 isl 0.17.1
17 months ago isl-0.17 isl 0.17
21 months ago isl-0.16.1 isl 0.16.1
21 months ago isl-0.16 isl 0.16
2 years ago isl-0.15 isl 0.15
2 years ago isl-0.14.1 isl-0.14.1
2 years ago isl-0.14 isl 0.14
3 years ago isl-0.13 isl 0.13
3 years ago isl-0.12.2 isl 0.12.2
4 years ago isl-0.12.1 isl 0.12.1
4 years ago isl-0.12 isl 0.12
4 years ago isl-0.11.2 isl 0.11.2
4 years ago isl-0.11.1 isl 0.11.1
4 years ago isl-0.11 isl 0.11
5 years ago isl-0.10 isl 0.10
36 hours ago maint
5 days ago master
2 weeks ago consecutivity