descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeFri, 18 Aug 2017 14:26:34 +0000 (18 16:26 +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
2017-08-18 Sven Verdoolaegeisl_scheduler.c: extract_edge: finish conversion to... master
2017-08-18 Sven Verdoolaegeisl_tab_pip.c: extract_sample_sequence: handle rational...
2017-08-16 Sven Verdoolaegescheduler: compute sizes used for coalescing avoidance...
2017-08-16 Tobias Grossercpp: add missing license to unit tests
2017-08-14 Tobias GrosserDocument the isl interface design guidelines with respe...
2017-08-10 Oleksandr Zinenkocpp: generate isl::manage_copy for all exported classes
2017-08-08 Sven Verdoolaegeisl_union_map_empty: rename "dim" variable to "space"
2017-08-08 Sven Verdoolaegeisl_map_universe: rename "dim" argument to "space"
2017-08-08 Sven Verdoolaegeisl_map_empty: rename "dim" argument to "space"
2017-08-08 Sven Verdoolaegeisl_basic_map_universe: rename "dim" argument to "space"
2017-08-08 Sven Verdoolaegeisl_basic_map_empty: rename "dim" argument to "space"
2017-08-08 Sven Verdoolaegeisl_union_set_empty: rename "dim" argument to "space"
2017-08-08 Sven Verdoolaegeisl_set_universe: rename "dim" argument to "space"
2017-08-08 Sven Verdoolaegeisl_set_empty: rename "dim" argument to "space"
2017-08-08 Sven Verdoolaegeisl_basic_set_universe: rename "dim" argument to "space"
2017-08-08 Sven Verdoolaegeisl_basic_set_empty: rename "dim" argument to "space"
...
tags
9 months ago isl-0.18 isl 0.18
16 months ago isl-0.17.1 isl 0.17.1
16 months ago isl-0.17 isl 0.17
20 months ago isl-0.16.1 isl 0.16.1
20 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
...
heads
6 days ago maint
4 weeks ago master