repo.or.cz / isl.git / summary
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork

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