descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeFri, 17 Nov 2017 08:44:52 +0000 (17 09:44 +0100)
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
25 hours ago Sven Verdoolaegeadd tests for Python interfacemaster
43 hours ago Sven Verdoolaegeinterface/isl_test_cpp-noexceptions.cc: extend test...
43 hours ago Sven VerdoolaegeMerge branch 'maint'
43 hours ago Sven Verdoolaegepython: specifically handle long argumentsmaint
9 days ago Sven Verdoolaegeexport isl_union_set_preimage_*
9 days ago Sven Verdoolaegeexport isl_union_map_eq_at_multi_union_pw_aff
10 days ago Sven Verdoolaegeexpose isl_space_flatten_{domain,range}
10 days ago Sven Verdoolaegeisl_space_flatten_range: rename "dim" argument to ...
10 days ago Sven Verdoolaegeisl_space_flatten_domain: rename "dim" argument to...
2017-10-30 Sven Verdoolaegeinterface/python.cc: fix typo in comment
2017-10-30 Sven Verdoolaegedoc: fix typos in isl_schedule_node documentation
2017-10-30 Sven Verdoolaegeisl_scheduler.c: fix typo in comment
2017-10-30 Sven Verdoolaegeisl_schedule_tree.c: fix typo in comment
2017-10-30 Sven Verdoolaegeisl_schedule_node.c: fix typos in comments
2017-10-30 Sven Verdoolaegeisl_union_map.c: fix typos in comments
2017-10-30 Sven Verdoolaegeisl_morph.c: fix typo in comment
...
tags
2 weeks ago consecutivity_CW_709
10 months ago isl-0.18 isl 0.18
18 months ago isl-0.17.1 isl 0.17.1
18 months ago isl-0.17 isl 0.17
22 months ago isl-0.16.1 isl 0.16.1
22 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
4 years ago isl-0.11.1 isl 0.11.1
4 years ago isl-0.11 isl 0.11
...
heads
25 hours ago master
43 hours ago maint
2 weeks ago consecutivity