descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeSat, 4 Sep 2010 09:04:28 +0000
Push URLssh://repo.or.cz/srv/git/isl.git
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 LGPLv2.1
shortlog
5 days ago Sven Verdoolaegeadd public API for matrices master
5 days ago Sven Verdoolaegeisl_coalesce.c: fix typos in comment
5 days ago Sven Verdoolaegeisl_polytope_scan: improve error handling
5 days ago Sven Verdoolaegeadd isl_pw_qpolynomial_split_periods
10 days ago Sven Verdoolaegeisl_polynomial.c: sort_divs: remove duplicate divs...
10 days ago Sven Verdoolaegeisl_polynomial.c: sort_divs: fix ordering of div rows
13 days ago Sven Verdoolaegeargument parsing: add ISL_ARG_USER_OPT_CHOICE
13 days ago Sven Verdoolaegealign parameters of union arguments to binary functions
13 days ago Sven Verdoolaegeadd isl_dim_replace
13 days ago Sven Verdoolaegeadd isl_union_*_dump for debugging
13 days ago Sven Verdoolaegeclean up isl_pw_qpolynomial_neg
13 days ago Sven Verdoolaegeisl_union_templ.c: minor clean-up
13 days ago Sven Verdoolaegeadd isl_mat_insert_zero_cols
13 days ago Sven Verdoolaegeadd isl_basic_map_get_ctx
2010-08-24 Sven Verdoolaegeisl_map_read_from_str: parse tuple entries with leading...
2010-08-18 Sven Verdoolaegeadd isl_map_apply_pw_qpolynomial_fold
...
tags
2 months ago isl-0.03 isl 0.03
6 months ago isl-0.02 isl 0.02
12 months ago isl-0.01 isl 0.01
heads
5 days ago master