descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeFri, 14 Jul 2017 15:46:59 +0000 (14 17:46 +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
7 days ago Tobias Grossercpp/python: export isl_schedule_constraintsmaster
2017-07-06 Alexander Matzinterface: use vsnprintf instead of open_memstream...
2017-07-03 Malhar Thakkaradd missing annotations to isl_basic_set_compute_divs
2017-07-03 Malhar Thakkaradd missing annotation to isl_vec_alloc
2017-07-03 Malhar Thakkaradd missing annotations to isl_basic_set_drop_dims
2017-07-03 Malhar Thakkaradd missing annotations to isl_vec_ceil
2017-07-03 Malhar Thakkaradd missing annotations to isl_basic_map_drop_redundant...
2017-07-03 Malhar Thakkaradd missing annotations to isl_mat_dup
2017-07-03 Malhar Thakkaradd missing annotations to isl_mat_cow
2017-07-03 Malhar Thakkaradd missing annotations to isl_basic_set_set_to_empty
2017-07-03 Malhar Thakkaradd missing annotations to isl_set_eliminate_dims
2017-07-03 Malhar Thakkaradd missing annotations to isl_basic_map_align_divs
2017-07-03 Malhar Thakkaradd missing annotation to isl_basic_set_alloc_space
2017-07-03 Malhar Thakkaradd missing annotations to isl_basic_set_extend_space
2017-07-03 Malhar Thakkaradd missing annotations to isl_set_preimage
2017-07-03 Malhar Thakkaradd missing annotations to isl_basic_map_overlying_set
...
tags
7 months ago isl-0.18 isl 0.18
14 months ago isl-0.17.1 isl 0.17.1
14 months ago isl-0.17 isl 0.17
18 months ago isl-0.16.1 isl 0.16.1
18 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
3 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
7 days ago master
11 days ago maint