descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeFri, 6 Jan 2017 14:57:31 +0000 (6 15:57 +0100)
content tags
add:
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.
shortlog
10 days ago Tobias Grosserisl_basic_set_is_bounded: return isl_boolmaster
10 days ago Tobias Grosserisl_tab_cone_is_bounded: return isl_bool
10 days ago Tobias Grosserpython: remove redundant is_string_type
10 days ago Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: improve detection...
13 days ago Sven Verdoolaegeisl_tab_pip.c: sol_pop: extract out combine_initial_if_...
13 days ago Sven Verdoolaegeisl_tab_pip.c: sol_pop: extract out combine_initial_int...
13 days ago Sven Verdoolaegeisl_tab_pip.c: isl_partial_sol: use isl_multi_aff inste...
13 days ago Sven Verdoolaegeisl_tab_pip.c: isl_sol: keep track of space of output
13 days ago Sven Verdoolaegeisl_tab_pip.c: sol_push_sol: clarify meaning of "M...
13 days ago Sven Verdoolaegeisl_tab_pip.c: remove wrappers for sol_*_free
13 days ago Sven Verdoolaegeisl_tab_pip.c: move common parts of isl_*_free function...
13 days ago Sven Verdoolaegeisl_tab_pip.c: set free callback before any other fields
13 days ago Sven Verdoolaegeisl_tab_pip.c: extract out shared sol_init
13 days ago Sven Verdoolaegeisl_tab_pip.c: isl_sol: update documentation
13 days ago Sven Verdoolaegeisl_tab_pip.c: move up set_from_affine_matrix
13 days ago Sven Verdoolaegeisl_tab_pip.c: same_solution: return isl_bool
...
tags
4 weeks ago isl-0.18 isl 0.18
8 months ago isl-0.17.1 isl 0.17.1
8 months ago isl-0.17 isl 0.17
12 months ago isl-0.16.1 isl 0.16.1
12 months ago isl-0.16 isl 0.16
19 months ago isl-0.15 isl 0.15
21 months ago isl-0.14.1 isl-0.14.1
2 years ago isl-0.14 isl 0.14
2 years ago isl-0.13 isl 0.13
3 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
4 years ago isl-0.11.1 isl 0.11.1
4 years ago isl-0.11 isl 0.11
4 years ago isl-0.10 isl 0.10
...
heads
7 days ago maint
10 days ago master