descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeWed, 22 May 2013 10:28:26 +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 the MIT license.
shortlog
2 days ago Sven VerdoolaegeMerge branch 'maint' master
2 days ago Sven Verdoolaegeisl_basic_map_foreach_lexopt: properly merge partial... maint
2013-05-06 Sven Verdoolaegemerge shared isl_multi_* declarations
2013-05-04 Sven Verdoolaegedeclare isl_multi_* together with isl_*
2013-05-04 Sven Verdoolaegemake isl_multi_* files more self-contained
2013-05-03 Sven Verdoolaegeisl_space_private.h: protect against multiple inclusions
2013-04-30 Sven Verdoolaegedetect missing gmp.h or missing/old gmp library during...
2013-04-30 Sven Verdoolaegeisl_ast_codegen.c: add_nodes: use more transparent...
2013-04-30 Sven Verdoolaegeadd isl_basic_map_order_gt
2013-04-30 Sven Verdoolaegebound.c: verify_point: use isl_printer
2013-04-28 Sven Verdoolaegeisl_input.c: read_factor: declare variables at start...
2013-04-28 Sven VerdoolaegeMerge branch 'maint'
2013-04-23 Sven Verdoolaegeisl_*alloc*: return NULL if ctx argument is NULL
2013-04-22 Sven Verdoolaegeisl_space.c: add missing include
2013-04-22 Sven Verdoolaegedeclare isl_tab_get_ctx in isl_tab.h
2013-04-22 Sven Verdoolaegedeclare isl_*_list together with isl_*
...
tags
6 weeks ago isl-0.11.2 isl 0.11.2
5 months ago isl-0.11.1 isl 0.11.1
5 months ago isl-0.11 isl 0.11
11 months ago isl-0.10 isl 0.10
17 months ago isl-0.09 isl 0.09
19 months ago isl-0.08 isl 0.08
22 months ago isl-0.07 isl 0.07
2 years ago isl-0.06 isl 0.06
2 years ago isl-0.05.1 isl 0.05.1
2 years ago isl-0.05 isl 0.05
2 years ago isl-0.04 isl 0.04
2 years ago isl-0.03 isl 0.03
3 years ago isl-0.02 isl 0.02
3 years ago isl-0.01 isl 0.01
heads
2 days ago master
2 days ago maint