descriptionInteger set library
homepage URL
last changeWed, 29 Nov 2017 16:29:43 +0000 (29 17:29 +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.
13 days ago Sven Verdoolaegespecialize isl_space_replace to isl_space_replace_paramsmaster
13 days ago Sven Verdoolaegeisl_reordering_extend_space: rename "dim" argument...
2017-11-28 Sven Verdoolaegeisl_*_aff_read_from_str: do not read domains as rationa...
2017-11-24 Albert Cohenfix typos in user manual
2017-11-23 Sven Verdoolaegeexport isl_union_map_from_{domain,range}
2017-11-23 Sven Verdoolaegedocument isl_union_map_from_{domain,range}
2017-11-17 Sven Verdoolaegeisl-noexceptions.h: clean up fixed part
2017-11-17 Sven Verdoolaegeinterface/isl_test_cpp-noexceptions: abort on isl error
2017-11-17 Sven Verdoolaegeinterface/ fix style
2017-11-17 Sven Verdoolaegecpp: generate get_ctx method for all exported classes
2017-11-17 Sven Verdoolaegeadd tests for Python interface
2017-11-16 Sven Verdoolaegeinterface/ extend test...
2017-11-16 Sven VerdoolaegeMerge branch 'maint'
2017-11-16 Sven Verdoolaegepython: specifically handle long arguments
2017-11-08 Sven Verdoolaegeexport isl_union_set_preimage_*
2017-11-08 Sven Verdoolaegeexport isl_union_map_eq_at_multi_union_pw_aff
5 weeks ago consecutivity_CW_709
11 months ago isl-0.18 isl 0.18
19 months ago isl-0.17.1 isl 0.17.1
19 months ago isl-0.17 isl 0.17
22 months ago isl-0.16.1 isl 0.16.1
23 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
3 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
5 years ago isl-0.11.1 isl 0.11.1
5 years ago isl-0.11 isl 0.11
12 days ago maint
13 days ago master
5 weeks ago consecutivity