descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeFri, 23 Jan 2015 09:47:00 +0000
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
8 days ago Sven Verdoolaegeadd isl_union_pw_aff_pullback_union_pw_multi_affmaster
8 days ago Sven Verdoolaegeadd isl_union_map_from_union_pw_aff
8 days ago Sven Verdoolaegeadd isl_union_pw_aff_zero_union_set
8 days ago Sven Verdoolaegeadd isl_union_pw_multi_aff_from_union_pw_aff
8 days ago Sven Verdoolaegeadd isl_union_pw_multi_aff_get_union_pw_aff
8 days ago Sven Verdoolaegeadd isl_union_pw_aff_mod_val
8 days ago Sven Verdoolaegeadd isl_union_pw_aff_aff_on_domain
8 days ago Sven Verdoolaegeadd isl_union_pw_aff_val_on_domain
8 days ago Sven Verdoolaegeadd isl_union_pw_aff_floor
8 days ago Sven Verdoolaegeadd isl_union_pw_aff_list
8 days ago Sven Verdoolaegeadd isl_union_pw_aff
8 days ago Sven Verdoolaegeisl_output.c: print_pw_aff_isl: extract out print_pw_af...
8 days ago Sven Verdoolaegeisl_union_templ.c: allow multiple inclusion
8 days ago Sven Verdoolaegeadd isl_union_map_domain_map_union_pw_multi_aff
8 days ago Sven Verdoolaegeadd isl_union_pw_multi_aff_pullback_union_pw_multi_aff
8 days ago Sven Verdoolaegeadd isl_union_pw_multi_aff_from_aff
...
tags
3 months ago isl-0.14 isl 0.14
9 months ago isl-0.13 isl 0.13
12 months ago isl-0.12.2 isl 0.12.2
18 months ago isl-0.12.1 isl 0.12.1
19 months ago isl-0.12 isl 0.12
21 months ago isl-0.11.2 isl 0.11.2
2 years ago isl-0.11.1 isl 0.11.1
2 years ago isl-0.11 isl 0.11
2 years ago isl-0.10 isl 0.10
3 years ago isl-0.09 isl 0.09
3 years ago isl-0.08 isl 0.08
3 years ago isl-0.07 isl 0.07
3 years ago isl-0.06 isl 0.06
4 years ago isl-0.05.1 isl 0.05.1
4 years ago isl-0.05 isl 0.05
4 years ago isl-0.04 isl 0.04
...
heads
8 days ago master
4 weeks ago maint