?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork

 
descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeSat, 20 Apr 2024 10:42:26 +0000 (20 12:42 +0200)
URLgit://repo.or.cz/isl.git
https://repo.or.cz/isl.git
push URLssh://repo.or.cz/isl.git
https://repo.or.cz/isl.git (learn more)
bundle infoisl.git downloadable bundles
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 Sven Verdoolaegeisl_test_cpp17-generic.cc: work around std::optional... master commit | commitdiff | tree | snapshot (tar.gz zip)
2024-04-07 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: copy integer division... commit | commitdiff | tree | snapshot (tar.gz zip)
2024-04-07 Sven Verdoolaegeisl_tab_pip.c: find_context_div: extract out find_div_i... commit | commitdiff | tree | snapshot (tar.gz zip)
2024-04-07 Sven Verdoolaegeadd isl_basic_set_add_div_constraints commit | commitdiff | tree | snapshot (tar.gz zip)
2024-04-07 Sven Verdoolaegeadd isl_basic_set_insert_div commit | commitdiff | tree | snapshot (tar.gz zip)
2024-03-30 Sven Verdoolaegeadd check for isl_map_lexmin_pw_multi_aff returning... commit | commitdiff | tree | snapshot (tar.gz zip)
2024-03-30 Sven Verdoolaegeisl_test2.cc: has_single_cell_pma: extract out has_sing... commit | commitdiff | tree | snapshot (tar.gz zip)
2024-03-30 Sven Verdoolaegeisl_tab_pip.c: find_context_div: reuse is_known_div_not... commit | commitdiff | tree | snapshot (tar.gz zip)
2024-03-30 Sven Verdoolaegeisl_tab_pip.c: find_context_div: extract out is_known_d... commit | commitdiff | tree | snapshot (tar.gz zip)
2024-03-30 Sven Verdoolaegeisl_tab_pip.c: find_context_div: use isl_basic_map_div_... commit | commitdiff | tree | snapshot (tar.gz zip)
2024-03-30 Sven Verdoolaegeisl_tab_pip.c: find_context_div: use isl_basic_map_div_... commit | commitdiff | tree | snapshot (tar.gz zip)
2024-03-30 Sven Verdoolaegeisl_tab_pip.c: find_context_div: use isl_basic_set_dim commit | commitdiff | tree | snapshot (tar.gz zip)
2024-03-30 Sven Verdoolaegeisl_tab_pip.c: basic_map_partial_lexopt_base_sol: remov... commit | commitdiff | tree | snapshot (tar.gz zip)
2024-03-30 Sven Verdoolaegeisl_tab_pip.c: align_context_divs: use isl_basic_set_dim commit | commitdiff | tree | snapshot (tar.gz zip)
2024-03-30 Sven Verdoolaegeisl_tab_pip.c: align_context_divs: improve error handling commit | commitdiff | tree | snapshot (tar.gz zip)
2024-03-30 Sven Verdoolaegeisl_tab_pip.c: find_context_div: return isl_size commit | commitdiff | tree | snapshot (tar.gz zip)
...
tags
12 months ago isl-0.26 isl 0.26 tag  | commit | log
21 months ago isl-0.25 isl 0.25 tag  | commit | log
3 years ago isl-0.24 isl 0.24 tag  | commit | log
3 years ago isl-0.23 isl 0.23 tag  | commit | log
4 years ago isl-0.22.1 isl 0.22.1 tag  | commit | log
4 years ago isl-0.22 isl 0.22 tag  | commit | log
5 years ago isl-0.21 isl 0.21 tag  | commit | log
5 years ago isl-0.20 isl 0.20 tag  | commit | log
6 years ago isl-0.19 isl 0.19 tag  | commit | log
6 years ago consecutivity_CW_709    | commit | log
7 years ago isl-0.18 isl 0.18 tag  | commit | log
7 years ago isl-0.17.1 isl 0.17.1 tag  | commit | log
7 years ago isl-0.17 isl 0.17 tag  | commit | log
8 years ago isl-0.16.1 isl 0.16.1 tag  | commit | log
8 years ago isl-0.16 isl 0.16 tag  | commit | log
8 years ago isl-0.15 isl 0.15 tag  | commit | log
...
heads
7 days ago master log | tree
12 months ago maint log | tree
2 years ago nana log | tree
2 years ago consecutivity log | tree
4 years ago pu log | tree
5 years ago cpp log | tree
Integer set library