descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeTue, 11 Sep 2018 15:06:56 +0000 (11 17:06 +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
8 days ago Tobias Grosserisl_aff_plain_is_zero: use isl_bool_okmaster
8 days ago Tobias Grosserisl_aff_plain_is_cst: use isl_bool_ok
8 days ago Tobias Grosserisl_poly_is_one: use isl_bool_ok
8 days ago Tobias Grosserisl_space_is_map: use isl_bool_ok
9 days ago Tobias Grosserisl_aff_plain_is_nan: use isl_bool_ok
9 days ago Tobias Grosserisl_poly_is_negone: use isl_bool_ok
9 days ago Tobias Grosserisl_poly_is_neginfty: use isl_bool_ok
9 days ago Tobias Grosserisl_poly_is_infty: use isl_bool_ok
9 days ago Tobias Grosserisl_poly_is_nan: use isl_bool_ok
9 days ago Tobias Grosserisl_poly_is_zero: use isl_bool_ok
9 days ago Tobias Grosserisl_poly_is_cst: use isl_bool_ok
9 days ago Tobias Grosserisl_space_range_is_wrapping: use isl_bool_ok
9 days ago Tobias Grosserisl_space_domain_is_wrapping: use isl_bool_ok
9 days ago Tobias Grosserisl_space_has_dim_name: use isl_bool_ok
9 days ago Tobias Grosserisl_space_has_tuple_name: use isl_bool_ok
9 days ago Tobias Grosserisl_space_is_wrapping: use isl_bool_ok
...
tags
7 weeks ago isl-0.20 isl 0.20
6 months ago isl-0.19 isl 0.19
10 months ago consecutivity_CW_709
21 months ago isl-0.18 isl 0.18
2 years ago isl-0.17.1 isl 0.17.1
2 years ago isl-0.17 isl 0.17
2 years ago isl-0.16.1 isl 0.16.1
2 years ago isl-0.16 isl 0.16
3 years ago isl-0.15 isl 0.15
3 years ago isl-0.14.1 isl-0.14.1
3 years ago isl-0.14 isl 0.14
4 years ago isl-0.13 isl 0.13
4 years ago isl-0.12.2 isl 0.12.2
5 years ago isl-0.12.1 isl 0.12.1
5 years ago isl-0.12 isl 0.12
5 years ago isl-0.11.2 isl 0.11.2
...
heads
10 hours ago pu
34 hours ago maint
8 days ago master
7 weeks ago cpp
2 months ago consecutivity