descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeWed, 26 Apr 2017 12:42:05 +0000 (26 14:42 +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
3 days ago Sven VerdoolaegeMerge branch 'maint'master
3 days ago Sven Verdoolaegescheduler: fix checking conditional validity constraint... maint
3 days ago Sven Verdoolaegeisl_space_map_from_set: accept NULL pointer on zero...
3 days ago Sven Verdoolaegeisl_space_map_from_set: rename "dim" argument to "space"
5 days ago Sven Verdoolaegeisl_mat_right_inverse: add memory management annotations
5 days ago Sven Verdoolaegeisl_mat_copy: add memory management annotations
5 days ago Sven Verdoolaegeisl_mat_unimodular_complete: add memory management...
5 days ago Sven Verdoolaegeisl_mat_parameter_compression: add memory management...
5 days ago Sven Verdoolaegeisl_mat_transpose: add memory management annotations
5 days ago Sven Verdoolaegeisl_mat_inverse_product: add memory management annotations
5 days ago Sven Verdoolaegeisl_mat_lin_to_aff: add memory management annotations
5 days ago Sven Verdoolaegeisl_mat_swap_rows: add memory management annotations
5 days ago Sven Verdoolaegeisl_mat_left_hermite: add memory management annotations
5 days ago Sven Verdoolaegeisl_mat_aff_direct_sum: add memory management annotations
5 days ago Sven Verdoolaegeisl_mat_swap_cols: add memory management annotations
5 days ago Sven Verdoolaegeisl_vec_mat_product: add memory management annotations
...
tags
4 months ago isl-0.18 isl 0.18
11 months ago isl-0.17.1 isl 0.17.1
11 months ago isl-0.17 isl 0.17
15 months ago isl-0.16.1 isl 0.16.1
15 months ago isl-0.16 isl 0.16
22 months ago isl-0.15 isl 0.15
2 years ago isl-0.14.1 isl-0.14.1
2 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
3 years ago isl-0.12.1 isl 0.12.1
3 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
4 years ago isl-0.10 isl 0.10
...
heads
3 days ago master
3 days ago maint