descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeSat, 2 May 2015 12:31:31 +0000 (2 14:31 +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
4 days ago Sven Verdoolaegeisl_test: be more verbose on all testsmaster
4 days ago Sven VerdoolaegeMerge branch 'maint'
4 days ago Sven Verdoolaegeisl_qpolynomial_fold_fold_on_domain: do not consider... maint
4 days ago Sven Verdoolaegeisl_qpolynomial_fold_fold_on_domain: eliminate obviousl...
4 days ago Sven Verdoolaegeisl_flow.c: isl_compute_flow_schedule_data_clear: handl...
5 days ago Sven Verdoolaegeisl_coalesce.c: contains: improve error handling
5 days ago Sven Verdoolaegeisl_coalesce.c: check_facets: improve error handling
5 days ago Sven Verdoolaegeisl_coalesce.c: set_up_substitutions: plug memory leak...
5 days ago Sven Verdoolaegeisl_coalesce.c: check_coalesce_into_eq: avoid double...
5 days ago Sven Verdoolaegeisl_tab_compute_reduced_basis: only print error message...
5 days ago Sven Verdoolaegeisl_tab_pip.c: sol_{map,pma}_add_empty: drop spurious...
5 days ago Sven Verdoolaegeisl_tab_pip.c: context_gbr_restore: abort on failure...
5 days ago Sven Verdoolaegeisl_tab_pip.c: gbr_get_sample: do not try to restore...
5 days ago Sven Verdoolaegeisl_coalesce.c: contains: improve error handling
5 days ago Sven Verdoolaegeisl_coalesce.c: check_facets: improve error handling
5 days ago Sven Verdoolaegeisl_transitive_closure.c: construct_component: improve...
...
tags
3 weeks ago isl-0.14.1 isl-0.14.1
6 months ago isl-0.14 isl 0.14
12 months ago isl-0.13 isl 0.13
15 months ago isl-0.12.2 isl 0.12.2
21 months ago isl-0.12.1 isl 0.12.1
22 months ago isl-0.12 isl 0.12
2 years ago isl-0.11.2 isl 0.11.2
2 years ago isl-0.11.1 isl 0.11.1
2 years ago isl-0.11 isl 0.11
2 years ago isl-0.10 isl 0.10
3 years ago isl-0.09 isl 0.09
3 years ago isl-0.08 isl 0.08
3 years ago isl-0.07 isl 0.07
4 years ago isl-0.06 isl 0.06
4 years ago isl-0.05.1 isl 0.05.1
4 years ago isl-0.05 isl 0.05
...
heads
4 days ago master
4 days ago maint