NameDateSize

..05-Mar-201618

aclocal.m4H A D29-Jan-201436.5 KiB

AUTHORSH A D29-Jan-2014826

basis_reduction_tab.cH A D29-Jan-20146.5 KiB

basis_reduction_templ.cH A D29-Jan-20148.4 KiB

bound.cH A D29-Jan-20146.6 KiB

bound_test.sh.inH A D29-Jan-2014711

cat.cH A D29-Jan-20141.3 KiB

ChangeLogH A D29-Jan-20143.1 KiB

closure.cH A D29-Jan-2014778

codegen.cH A D29-Jan-20143.7 KiB

codegen_test.sh.inH A D29-Jan-2014440

compileH A D29-Jan-20147.2 KiB

config.guessH A D29-Jan-201444.2 KiB

config.subH A D29-Jan-201434.8 KiB

configureH A D29-Jan-2014645.2 KiB

configure.acH A D29-Jan-20148.7 KiB

depcompH A D29-Jan-201421.9 KiB

doc/H29-Jan-201413

GIT_HEAD_IDH A D29-Jan-201411

include/H29-Jan-20143

install-shH A D29-Jan-201413.7 KiB

interface/H29-Jan-201411

isl.pyH A D29-Jan-20143.8 KiB

isl_aff.cH A D29-Jan-2014130.6 KiB

isl_aff_private.hH A D29-Jan-20143.5 KiB

isl_affine_hull.cH A D29-Jan-201437.1 KiB

isl_arg.cH A D29-Jan-201425 KiB

isl_ast.cH A D29-Jan-201444.3 KiB

isl_ast_build.cH A D29-Jan-201458.5 KiB

isl_ast_build_expr.cH A D29-Jan-201426 KiB

isl_ast_build_expr.hH A D29-Jan-2014856

isl_ast_build_private.hH A D29-Jan-201410.2 KiB

isl_ast_codegen.cH A D29-Jan-2014115.9 KiB

isl_ast_graft.cH A D29-Jan-201432.2 KiB

isl_ast_graft_private.hH A D29-Jan-20143.1 KiB

isl_ast_private.hH A D29-Jan-20142.8 KiB

isl_band.cH A D29-Jan-201417.7 KiB

isl_band_private.hH A D29-Jan-20141.3 KiB

isl_basis_reduction.hH A D29-Jan-2014540

isl_bernstein.cH A D29-Jan-201414.9 KiB

isl_bernstein.hH A D29-Jan-2014163

isl_blk.cH A D29-Jan-20142.8 KiB

isl_bound.cH A D29-Jan-20148.6 KiB

isl_bound.hH A D29-Jan-2014318

isl_coalesce.cH A D29-Jan-201449.8 KiB

isl_config.h.inH A D29-Jan-20143.8 KiB

isl_config_post.hH A D29-Jan-2014148

isl_constraint.cH A D29-Jan-201432.4 KiB

isl_constraint_private.hH A D29-Jan-2014398

isl_convex_hull.cH A D29-Jan-201465.6 KiB

isl_ctx.cH A D29-Jan-20144.5 KiB

isl_ctx_private.hH A D29-Jan-2014426

isl_deprecated.cH A D29-Jan-2014280

isl_dim.cH A D29-Jan-20146.7 KiB

isl_dim_map.cH A D29-Jan-20145.3 KiB

isl_dim_map.hH A D29-Jan-20141.3 KiB

isl_equalities.cH A D29-Jan-201420.5 KiB

isl_equalities.hH A D29-Jan-2014849

isl_factorization.cH A D29-Jan-20148 KiB

isl_factorization.hH A D29-Jan-2014717

isl_farkas.cH A D29-Jan-20149.9 KiB

isl_flow.cH A D29-Jan-201442.1 KiB

isl_fold.cH A D29-Jan-201437.7 KiB

isl_gmp.cH A D29-Jan-20141.4 KiB

isl_hash.cH A D29-Jan-20144.6 KiB

isl_hmap_map_basic_set.cH A D29-Jan-20142.2 KiB

isl_hmap_map_basic_set.hH A D29-Jan-2014847

isl_id.cH A D29-Jan-20143.9 KiB

isl_id_private.hH A D29-Jan-2014771

isl_ilp.cH A D29-Jan-201416.2 KiB

isl_input.cH A D29-Jan-201472.9 KiB

isl_int.hH A D29-Jan-20144.4 KiB

isl_list_templ.cH A D29-Jan-201411.7 KiB

isl_list_templ.hH A D29-Jan-2014291

isl_local_space.cH A D29-Jan-201426.6 KiB

isl_local_space_private.hH A D29-Jan-20142.2 KiB

isl_lp.cH A D29-Jan-20149.3 KiB

isl_lp_no_piplib.cH A D29-Jan-2014495

isl_lp_piplib.cH A D29-Jan-20142.7 KiB

isl_lp_piplib.hH A D29-Jan-2014601

isl_map.cH A D29-Jan-2014294.3 KiB

isl_map_lexopt_templ.cH A D29-Jan-20144 KiB

isl_map_no_piplib.cH A D29-Jan-2014505

isl_map_piplib.cH A D29-Jan-201411.7 KiB

isl_map_piplib.hH A D29-Jan-2014547

isl_map_private.hH A D29-Jan-201414.3 KiB

isl_map_simplify.cH A D29-Jan-201481.4 KiB

isl_map_subtract.cH A D29-Jan-201421 KiB

isl_mat.cH A D29-Jan-201437.7 KiB

isl_mat_private.hH A D29-Jan-2014923

isl_morph.cH A D29-Jan-201420.3 KiB

isl_morph.hH A D29-Jan-20142.6 KiB

isl_multi_templ.cH A D29-Jan-201420.9 KiB

isl_multi_templ.hH A D29-Jan-2014338

isl_obj.cH A D29-Jan-20149 KiB

isl_options.cH A D29-Jan-201411.9 KiB

isl_options_private.hH A D29-Jan-20141.5 KiB

isl_output.cH A D29-Jan-201466.4 KiB

isl_piplib.cH A D29-Jan-2014554

isl_piplib.hH A D29-Jan-2014703

isl_point.cH A D29-Jan-201412.9 KiB

isl_point_private.hH A D29-Jan-2014233

isl_polynomial.cH A D29-Jan-2014105.7 KiB

isl_polynomial_private.hH A D29-Jan-20147.8 KiB

isl_power_templ.cH A D29-Jan-20141.8 KiB

isl_printer.cH A D29-Jan-20148 KiB

isl_printer_private.hH A D29-Jan-2014280

isl_pw_templ.cH A D29-Jan-201440 KiB

isl_range.cH A D29-Jan-201412.8 KiB

isl_range.hH A D29-Jan-2014276

isl_reordering.cH A D29-Jan-20144.2 KiB

isl_reordering.hH A D29-Jan-20141.1 KiB

isl_sample.cH A D29-Jan-201440.1 KiB

isl_sample.hH A D29-Jan-2014912

isl_sample_no_piplib.cH A D29-Jan-2014396

isl_sample_piplib.cH A D29-Jan-20141.7 KiB

isl_sample_piplib.hH A D29-Jan-2014480

isl_scan.cH A D29-Jan-20147.4 KiB

isl_scan.hH A D29-Jan-2014610

isl_schedule.cH A D29-Jan-2014102.3 KiB

isl_schedule_private.hH A D29-Jan-20141.2 KiB

isl_seq.cH A D29-Jan-20146 KiB

isl_set_list.cH A D29-Jan-2014269

isl_sort.cH A D29-Jan-20144.8 KiB

isl_sort.hH A D29-Jan-2014197

isl_space.cH A D29-Jan-201445.3 KiB

isl_space_private.hH A D29-Jan-20141.7 KiB

isl_stream.cH A D29-Jan-201416.7 KiB

isl_stream_private.hH A D29-Jan-2014114

isl_tab.cH A D29-Jan-201489.6 KiB

isl_tab.hH A D29-Jan-201410.6 KiB

isl_tab_pip.cH A D29-Jan-2014154.6 KiB

isl_tarjan.cH A D29-Jan-20143.1 KiB

isl_tarjan.hH A D29-Jan-20141.1 KiB

isl_test.cH A D29-Jan-2014131.8 KiB

isl_transitive_closure.cH A D29-Jan-201475.7 KiB

isl_union_map.cH A D29-Jan-201459 KiB

isl_union_map_private.hH A D29-Jan-2014175

isl_union_templ.cH A D29-Jan-201419.2 KiB

isl_val.cH A D29-Jan-201428.5 KiB

isl_val_gmp.cH A D29-Jan-20143 KiB

isl_val_private.hH A D29-Jan-20141.7 KiB

isl_vec.cH A D29-Jan-201410 KiB

isl_version.cH A D29-Jan-201484

isl_vertices.cH A D29-Jan-201436.3 KiB

isl_vertices_private.hH A D29-Jan-20141.4 KiB

LICENSEH A D29-Jan-20141 KiB

ltmain.shH A D29-Jan-2014310.5 KiB

m4/H29-Jan-201419

Makefile.amH A D29-Jan-20147 KiB

Makefile.inH A D29-Jan-2014158.6 KiB

missingH A D29-Jan-20146.7 KiB

mp_get_memory_functions.cH A D29-Jan-2014373

pip.cH A D29-Jan-20149.3 KiB

pip_test.sh.inH A D29-Jan-2014615

polyhedron_detect_equalities.cH A D29-Jan-2014601

polyhedron_minimize.cH A D29-Jan-20142.3 KiB

polyhedron_sample.cH A D29-Jan-2014905

polytope_scan.cH A D29-Jan-20142.3 KiB

print.cH A D29-Jan-20141.9 KiB

print_templ.cH A D29-Jan-2014671

READMEH A D29-Jan-20141.5 KiB

test_inputs/H29-Jan-201465

README

1isl is a thread-safe C library for manipulating sets and relations
2of integer points bounded by affine constraints.  The descriptions of
3the sets and relations may involve both parameters and existentially
4quantified variables.  All computations are performed in exact integer
5arithmetic using GMP.
6
7isl is released under the MIT license, but depends on the LGPL GMP
8library.
9
10Minimal compilation instructions:
11
12	./configure
13	make
14	make install
15
16If you are taking the source from the git repository, then you first
17need to do
18
19	git clone git://repo.or.cz/isl.git
20	./autogen.sh
21
22For more information, see doc/user.pod or the generated documentation.
23
24New releases are announced on http://freecode.com/projects/isl
25
26If you use isl, you can let me know by stacking
27https://www.ohloh.net/p/isl on ohloh.
28
29For bug reports, feature requests and questions,
30contact http://groups.google.com/group/isl-development
31
32If you use isl for your research, you are invited do cite
33the following paper and/or the paper(s) describing the specific
34operations you use.
35
36@incollection{Verdoolaege2010isl,
37   author = {Verdoolaege, Sven},
38   title = {isl: An Integer Set Library for the Polyhedral Model},
39   booktitle = {Mathematical Software - ICMS 2010},
40   series = {Lecture Notes in Computer Science},
41   editor = {Fukuda, Komei and Hoeven, Joris and Joswig, Michael and
42		Takayama, Nobuki},
43   publisher = {Springer},
44   isbn = {978-3-642-15581-9},
45   pages = {299-302},
46   volume = {6327},
47   year = {2010}
48}
49