descriptionInteger set library
homepage URLhttp://freshmeat.net/projects/isl
ownerskimo-isl@kotnet.org
last changeSun, 4 Sep 2016 20:05:47 +0000 (4 22:05 +0200)
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
2016-09-04 Sven Verdoolaegeexport isl_schedule_constraintsmaster
2016-09-04 Sven Verdoolaegeadd isl_schedule_constraints_read_from_str
2016-09-04 Sven Verdoolaegeadd isl_schedule application
2016-09-04 Sven Verdoolaegeadd isl_schedule_constraints_read_from_file
2016-09-04 Sven Verdoolaegedeclare isl_stream_read_union_set
2016-09-04 Sven Verdoolaegeadd isl_printer_print_schedule_constraints and isl_sche...
2016-09-04 Sven Verdoolaegeisl_schedule_constraints_dump: use YAML facilities...
2016-09-04 Sven Verdoolaegeisl_schedule_constraints_on_domain: extract out isl_sch...
2016-09-04 Sven Verdoolaegeisl_schedule_constraints_on_domain: extract out isl_sch...
2016-09-04 Sven Verdoolaegeisl_schedule_constraints.c: extract out shared isl_sche...
2016-09-04 Sven Verdoolaegesplit off isl_schedule_constraints code from scheduler...
2016-09-04 Sven Verdoolaegeisl_scheduler.c: compute_max_row: use isl_schedule_cons...
2016-09-04 Sven Verdoolaegeisl_scheduler.c: extract out shared isl_schedule_constr...
2016-09-04 Sven Verdoolaegeisl_scheduler.c: graph_init: use isl_schedule_constrain...
2016-09-04 Sven Verdoolaegeisl_scheduler.c: extract out shared isl_schedule_constr...
2016-09-04 Sven Verdoolaegeisl_scheduler.c: extract out isl_schedule_constraints_n...
...
tags
4 months ago isl-0.17.1 isl 0.17.1
4 months ago isl-0.17 isl 0.17
8 months ago isl-0.16.1 isl 0.16.1
8 months ago isl-0.16 isl 0.16
15 months ago isl-0.15 isl 0.15
17 months ago isl-0.14.1 isl-0.14.1
23 months 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
3 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
...
heads
3 weeks ago maint
3 weeks ago master