descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeWed, 16 Aug 2017 08:40:00 +0000 (16 10:40 +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
2 days ago Tobias Grossercpp: add missing license to unit testsmaster
4 days ago Tobias GrosserDocument the isl interface design guidelines with respe...
7 days ago Oleksandr Zinenkocpp: generate isl::manage_copy for all exported classes
9 days ago Sven Verdoolaegeisl_union_map_empty: rename "dim" variable to "space"
9 days ago Sven Verdoolaegeisl_map_universe: rename "dim" argument to "space"
9 days ago Sven Verdoolaegeisl_map_empty: rename "dim" argument to "space"
9 days ago Sven Verdoolaegeisl_basic_map_universe: rename "dim" argument to "space"
9 days ago Sven Verdoolaegeisl_basic_map_empty: rename "dim" argument to "space"
9 days ago Sven Verdoolaegeisl_union_set_empty: rename "dim" argument to "space"
9 days ago Sven Verdoolaegeisl_set_universe: rename "dim" argument to "space"
9 days ago Sven Verdoolaegeisl_set_empty: rename "dim" argument to "space"
9 days ago Sven Verdoolaegeisl_basic_set_universe: rename "dim" argument to "space"
9 days ago Sven Verdoolaegeisl_basic_set_empty: rename "dim" argument to "space"
13 days ago Tobias Grossercpp/python: export functions to construct sets from...
13 days ago Tobias Grossercpp/python: export documented functions to construct...
13 days ago Tobias GrosserComplete isl_aff to set interface
...
tags
7 months ago isl-0.18 isl 0.18
15 months ago isl-0.17.1 isl 0.17.1
15 months ago isl-0.17 isl 0.17
19 months ago isl-0.16.1 isl 0.16.1
19 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
2 days ago master
2 weeks ago maint