descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeSat, 25 Oct 2014 14:09:00 +0000
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
5 days ago Sven Verdoolaegeisl 0.14masterisl-0.14
2014-10-13 Sven Verdoolaegeupdate AUTHORS
2014-10-13 Sven van Haastregtdoc: fix typos
2014-10-13 Sven VerdoolaegeMerge branch 'maint'
2014-10-13 Sven Verdoolaegeisl_map_convex_hull: detect equalities before checking... maint
2014-10-07 Sven Verdoolaegeisl_schedule_constraints_compute_schedule: allow partia...
2014-10-07 Sven Verdoolaegeadd isl_map_n_basic_map
2014-10-07 Sven Verdoolaegesplit scheduler code from schedule object code
2014-10-07 Sven Verdoolaegemake isl_aff_private.h more self-contained
2014-09-30 Sven Verdoolaegedoc: fix typos
2014-09-30 Sven Verdoolaegedocument isl_set_is_singleton
2014-09-30 Sven Verdoolaegedoc: update isl_*_list documentation
2014-09-30 Sven Verdoolaegedoc: clean up isl_val documentation
2014-09-30 Sven Verdoolaegeisl_schedule_constraints_compute_schedule: compress...
2014-09-30 Sven Verdoolaegeisl_sched_node: rename "dim" field to "space"
2014-09-30 Sven Verdoolaegeadd isl_morph_get_var_multi_aff
...
tags
5 days ago isl-0.14 isl 0.14
6 months ago isl-0.13 isl 0.13
9 months ago isl-0.12.2 isl 0.12.2
15 months ago isl-0.12.1 isl 0.12.1
16 months ago isl-0.12 isl 0.12
18 months ago isl-0.11.2 isl 0.11.2
22 months ago isl-0.11.1 isl 0.11.1
22 months ago isl-0.11 isl 0.11
2 years ago isl-0.10 isl 0.10
2 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
3 years ago isl-0.06 isl 0.06
3 years ago isl-0.05.1 isl 0.05.1
3 years ago isl-0.05 isl 0.05
4 years ago isl-0.04 isl 0.04
...
heads
5 days ago master
2 weeks ago maint