descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeThu, 20 Jun 2019 20:03:29 +0000 (20 22:03 +0200)
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
3 days ago Sven Verdoolaegeisl_test.c: test_lexmin: abort on failed testmaster
3 days ago Sven Verdoolaegeisl_farkas.c: farkas: fix argument name in comment
3 days ago Sven Verdoolaegeisl_space_zip: fix error message
3 days ago Sven Verdoolaegeadd exported isl_multi_aff_involves_locals
3 days ago Sven Verdoolaegeisl_multi_*_involves_nan: extract out isl_multi_*_any
3 days ago Sven Verdoolaegeadd isl_aff_involves_locals
5 days ago Sven Verdoolaegeexport isl_*_aff_subtract_domain
5 days ago Sven Verdoolaegeexport isl_{set,map}_lex{min,max}_pw_multi_aff
5 days ago Sven Verdoolaegeexport isl_{union_,}pw_{multi_,}aff_sub
5 days ago Sven Verdoolaegeexport isl_pw_multi_aff_scale{_down,}_val
5 days ago Sven Verdoolaegeexport isl_map_{domain,range}_product
5 days ago Sven Verdoolaegeexport isl_map_{un,}curry
5 days ago Sven Verdoolaegeexport isl_space_is_wrapping
5 days ago Sven Verdoolaegeexport isl_union_{set,map}_is_disjoint
5 days ago Sven Verdoolaegeexport isl_pw_multi_aff_zero
5 days ago Sven Verdoolaegeexport isl_set_unwrap
...
tags
2 months ago isl-0.21 isl 0.21
10 months ago isl-0.20 isl 0.20
15 months ago isl-0.19 isl 0.19
19 months ago consecutivity_CW_709
2 years ago isl-0.18 isl 0.18
3 years ago isl-0.17.1 isl 0.17.1
3 years ago isl-0.17 isl 0.17
3 years ago isl-0.16.1 isl 0.16.1
3 years ago isl-0.16 isl 0.16
4 years ago isl-0.15 isl 0.15
4 years ago isl-0.14.1 isl-0.14.1
4 years ago isl-0.14 isl 0.14
5 years ago isl-0.13 isl 0.13
5 years ago isl-0.12.2 isl 0.12.2
5 years ago isl-0.12.1 isl 0.12.1
6 years ago isl-0.12 isl 0.12
...
heads
2 days ago pu
3 days ago master
3 weeks ago maint
10 months ago cpp
11 months ago consecutivity