descriptionInteger set library
homepage URL
last changeFri, 2 Dec 2016 10:29:58 +0000 (2 11:29 +0100)
content tags
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.
6 days ago Sven VerdoolaegeMerge branch 'maint'master
6 days ago Tobias Grosserpython: derive all classes from 'object'
6 days ago Tobias Grosserpython: ensure Python 3 can derive method resolution...
6 days ago Tobias Grosserpython: use python 3 exception syntax
6 days ago Michael KruseUpdate imath for MSVC compile fix
9 days ago Sven Verdoolaegeinterface/ document order of superclasses
9 days ago Sven Verdoolaegeisl_class::print_method_overload: drop redundant "super...
9 days ago Sven Verdoolaegeextract_interface: remove duplicate __isl_subclass...
9 days ago Sven Verdoolaegeisl_qpolynomial_eval: handle void input
10 days ago Sven Verdoolaegeisl_vertices.c: tab_for_shifted_cone: allocate room...
2016-11-24 Sven VerdoolaegeMerge branch 'maint'
2016-11-24 Sven Verdoolaegeisl_qpolynomial_set_dim_name: adjust to change of space
2016-11-23 Sven Verdoolaegeisl_polynomial.c: reduce_divs: do not assume input...
2016-11-23 Sven Verdoolaegeisl_polynomial.c: reduce_divs: use isl_qpolynomial_get_ctx
2016-11-23 Sven Verdoolaegeisl_polynomial.c: reduce_divs: use isl_qpolynomial_doma...
2016-11-23 Sven Verdoolaegeisl_qpolynomial_domain_dim: handle isl_dim_div and...
7 months ago isl-0.17.1 isl 0.17.1
7 months ago isl-0.17 isl 0.17
10 months ago isl-0.16.1 isl 0.16.1
10 months ago isl-0.16 isl 0.16
17 months ago isl-0.15 isl 0.15
20 months ago isl-0.14.1 isl-0.14.1
2 years ago isl-0.14 isl 0.14
2 years ago isl-0.13 isl 0.13
2 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
3 years ago isl-0.11.2 isl 0.11.2
3 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
4 years ago isl-0.09 isl 0.09
31 hours ago maint
6 days ago master