descriptionInteger set library
homepage URL
last changeWed, 14 Feb 2018 22:00:35 +0000 (14 23:00 +0100)
content tags
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.
4 days ago Sven Verdoolaegedrop C++ bindingsmaster
6 days ago Sven Verdoolaegeisl_tab_pip.c: fix typo in comment
7 days ago Sven Verdoolaegeremove public declaration of isl_mat_{cow,dup}
7 days ago Sven Verdoolaegeremove public declaration of isl_constraint_cow
7 days ago Sven Verdoolaegedrop deprecated isl_basic_set_add
7 days ago Sven Verdoolaegedrop deprecated isl_space_tuple_match
11 days ago Sven Python 3 compatibility
11 days ago Sven consistently use tabs for indentation
2018-01-27 Sven Verdoolaegerename to
2018-01-27 Sven Verdoolaegeisl_ast_build.c: generate_name: allocate enough space...
2018-01-04 Sven Verdoolaegeinterface/ cpp_generator::print_method_impl...
2018-01-04 Sven cpp_generator::print_public_constructors_impl...
2018-01-04 Sven Verdoolaegegenerator::generator: drop redundant argument
2018-01-04 Sven Verdoolaegeinterface/ fix typo in comment
2018-01-04 Sven Verdoolaegeisl_ctx: keep track of last error message, file and...
2018-01-04 Sven Verdoolaegeisl_ctx_alloc_with_options: reuse isl_ctx_reset_error
3 months ago consecutivity_CW_709
14 months ago isl-0.18 isl 0.18
21 months ago isl-0.17.1 isl 0.17.1
21 months 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
2 years ago isl-0.15 isl 0.15
2 years ago isl-0.14.1 isl-0.14.1
3 years ago isl-0.14 isl 0.14
3 years ago isl-0.13 isl 0.13
4 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
5 years ago isl-0.11.1 isl 0.11.1
5 years ago isl-0.11 isl 0.11
38 hours ago cpp
4 days ago master
7 weeks ago maint
3 months ago consecutivity