descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeWed, 22 Feb 2017 11:31:07 +0000 (22 12:31 +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
5 days ago Sven Verdoolaegedrop isl_map_drop_inputsmaster
5 days ago Sven Verdoolaegedrop isl_basic_map_drop_inputs
5 days ago Sven Verdoolaegedrop isl_set_drop_dims
5 days ago Sven Verdoolaegedrop isl_set_plain_dim_is_fixed
5 days ago Sven Verdoolaegedrop isl_map_plain_input_is_fixed
5 days ago Sven Verdoolaegedrop isl_basic_set_plain_dim_has_fixed_lower_bound
5 days ago Sven Verdoolaegedrop isl_set_plain_dim_has_fixed_lower_bound
5 days ago Sven Verdoolaegedrop isl_basic_set_add_div_constraints
5 days ago Sven Verdoolaegedrop isl_basic_set_lower_bound_dim
5 days ago Sven Verdoolaegedrop isl_set_lower_bound_dim
5 days ago Sven Verdoolaegedrop isl_basic_set_interval
5 days ago Sven Verdoolaegedrop isl_tab_basic_set_non_neg_lexmin
5 days ago Sven Verdoolaegedrop isl_basic_set_constraint_is_redundant
5 days ago Sven Verdoolaegedrop isl_set_to_underlying_set
5 days ago Sven Verdoolaegedrop isl_set_from_underlying_set
5 days ago Sven Verdoolaegeisl_basic_{set,map}_plain_cmp: drop const qualifier
...
tags
2 months ago isl-0.18 isl 0.18
9 months ago isl-0.17.1 isl 0.17.1
9 months ago isl-0.17 isl 0.17
13 months ago isl-0.16.1 isl 0.16.1
13 months ago isl-0.16 isl 0.16
20 months ago isl-0.15 isl 0.15
22 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
5 days ago master
7 days ago maint