descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeWed, 14 Feb 2018 22:00:35 +0000 (14 23:00 +0100)
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 Verdoolaegedrop C++ bindingsmaster
6 days ago Sven Verdoolaegeisl_tab_pip.c: fix typo in comment
7 days ago Sven Verdoolaegeremove public declaration of isl_mat_{cow,dup}
7 days ago Sven Verdoolaegeremove public declaration of isl_constraint_cow
7 days ago Sven Verdoolaegedrop deprecated isl_basic_set_add
7 days ago Sven Verdoolaegedrop deprecated isl_space_tuple_match
11 days ago Sven Verdoolaegelibisl-gdb.py: Python 3 compatibility
11 days ago Sven Verdoolaegelibisl-gdb.py: consistently use tabs for indentation
2018-01-27 Sven Verdoolaegerename isl.py to libisl-gdb.py
2018-01-27 Sven Verdoolaegeisl_ast_build.c: generate_name: allocate enough space...
2018-01-04 Sven Verdoolaegeinterface/cpp.cc: cpp_generator::print_method_impl...
2018-01-04 Sven Verdoolaegecpp.cc: cpp_generator::print_public_constructors_impl...
2018-01-04 Sven Verdoolaegegenerator::generator: drop redundant argument
2018-01-04 Sven Verdoolaegeinterface/cpp.cc: fix typo in comment
2018-01-04 Sven Verdoolaegeisl_ctx: keep track of last error message, file and...
2018-01-04 Sven Verdoolaegeisl_ctx_alloc_with_options: reuse isl_ctx_reset_error
...
tags
3 months ago consecutivity_CW_709
14 months ago isl-0.18 isl 0.18
21 months ago isl-0.17.1 isl 0.17.1
21 months ago isl-0.17 isl 0.17
2 years ago isl-0.16.1 isl 0.16.1
2 years ago isl-0.16 isl 0.16
2 years ago isl-0.15 isl 0.15
2 years ago isl-0.14.1 isl-0.14.1
3 years ago isl-0.14 isl 0.14
3 years ago isl-0.13 isl 0.13
4 years ago isl-0.12.2 isl 0.12.2
4 years ago isl-0.12.1 isl 0.12.1
4 years ago isl-0.12 isl 0.12
4 years ago isl-0.11.2 isl 0.11.2
5 years ago isl-0.11.1 isl 0.11.1
5 years ago isl-0.11 isl 0.11
...
heads
38 hours ago cpp
4 days ago master
7 weeks ago maint
3 months ago consecutivity