MANIFEST.in
Makefile.in
README.rst
README_SETUP.txt
aksetup_helper.py
build-with-barvinok.sh
configure.py
gen_wrap.py
setup.cfg
setup.py
doc/Makefile
doc/conf.py
doc/index.rst
doc/misc.rst
doc/ref_ast.rst
doc/ref_containers.rst
doc/ref_expr.rst
doc/ref_flow.rst
doc/ref_fundamental.rst
doc/ref_geo.rst
doc/ref_schedule.rst
doc/ref_set.rst
doc/reference.rst
doc/images/after-union.png
doc/images/before-union.png
examples/demo.py
isl/LICENSE
isl/all.h
isl/basis_reduction_tab.c
isl/basis_reduction_templ.c
isl/bound.c
isl/bset_from_bmap.c
isl/bset_to_bmap.c
isl/cat.c
isl/check_reparse_templ.c
isl/check_reparse_test_templ.c
isl/check_single_reference_templ.c
isl/check_type_range_templ.c
isl/closure.c
isl/codegen.c
isl/dep.c
isl/extract_key.c
isl/flow.c
isl/flow_cmp.c
isl/has_single_reference_templ.c
isl/isl_aff.c
isl/isl_aff_lex_templ.c
isl/isl_aff_map.c
isl/isl_aff_private.h
isl/isl_affine_hull.c
isl/isl_align_params_bin_templ.c
isl/isl_align_params_templ.c
isl/isl_arg.c
isl/isl_ast.c
isl/isl_ast_build.c
isl/isl_ast_build_expr.c
isl/isl_ast_build_expr.h
isl/isl_ast_build_private.h
isl/isl_ast_codegen.c
isl/isl_ast_graft.c
isl/isl_ast_graft_private.h
isl/isl_ast_private.h
isl/isl_basis_reduction.h
isl/isl_bernstein.c
isl/isl_bernstein.h
isl/isl_bind_domain_templ.c
isl/isl_blk.c
isl/isl_blk.h
isl/isl_bound.c
isl/isl_bound.h
isl/isl_box.c
isl/isl_check_named_params_templ.c
isl/isl_coalesce.c
isl/isl_config_post.h
isl/isl_constraint.c
isl/isl_constraint_private.h
isl/isl_convex_hull.c
isl/isl_copy_tuple_id_templ.c
isl/isl_ctx.c
isl/isl_ctx_private.h
isl/isl_deprecated.c
isl/isl_dim_map.c
isl/isl_dim_map.h
isl/isl_domain_factor_templ.c
isl/isl_equalities.c
isl/isl_equalities.h
isl/isl_factorization.c
isl/isl_factorization.h
isl/isl_farkas.c
isl/isl_ffs.c
isl/isl_flow.c
isl/isl_fold.c
isl/isl_gmp.c
isl/isl_hash.c
isl/isl_id.c
isl/isl_id_private.h
isl/isl_id_to_ast_expr.c
isl/isl_id_to_id.c
isl/isl_id_to_pw_aff.c
isl/isl_ilp.c
isl/isl_ilp_opt_multi_val_templ.c
isl/isl_ilp_opt_val_templ.c
isl/isl_ilp_private.h
isl/isl_imath.c
isl/isl_imath.h
isl/isl_input.c
isl/isl_insert_domain_templ.c
isl/isl_int.h
isl/isl_int_gmp.h
isl/isl_int_imath.h
isl/isl_int_sioimath.c
isl/isl_int_sioimath.h
isl/isl_list_macro.h
isl/isl_list_private.h
isl/isl_list_templ.c
isl/isl_list_templ.h
isl/isl_local.c
isl/isl_local.h
isl/isl_local_private.h
isl/isl_local_space.c
isl/isl_local_space_private.h
isl/isl_lp.c
isl/isl_lp_private.h
isl/isl_map.c
isl/isl_map_bound_templ.c
isl/isl_map_lexopt_templ.c
isl/isl_map_list.c
isl/isl_map_private.h
isl/isl_map_simplify.c
isl/isl_map_subtract.c
isl/isl_map_to_basic_set.c
isl/isl_mat.c
isl/isl_mat_private.h
isl/isl_maybe_ast_graft_list.h
isl/isl_maybe_map.h
isl/isl_morph.c
isl/isl_morph.h
isl/isl_multi_add_constant_templ.c
isl/isl_multi_align_set.c
isl/isl_multi_align_templ.c
isl/isl_multi_align_union_set.c
isl/isl_multi_apply_set.c
isl/isl_multi_apply_templ.c
isl/isl_multi_apply_union_set.c
isl/isl_multi_arith_templ.c
isl/isl_multi_bind_domain_templ.c
isl/isl_multi_bind_templ.c
isl/isl_multi_cmp.c
isl/isl_multi_coalesce.c
isl/isl_multi_dim_id_templ.c
isl/isl_multi_dims.c
isl/isl_multi_domain_templ.c
isl/isl_multi_explicit_domain.c
isl/isl_multi_floor.c
isl/isl_multi_from_base_templ.c
isl/isl_multi_gist.c
isl/isl_multi_hash.c
isl/isl_multi_identity_templ.c
isl/isl_multi_insert_domain_templ.c
isl/isl_multi_intersect.c
isl/isl_multi_locals_templ.c
isl/isl_multi_macro.h
isl/isl_multi_min_max_templ.c
isl/isl_multi_move_dims_templ.c
isl/isl_multi_nan_templ.c
isl/isl_multi_no_domain_templ.c
isl/isl_multi_no_explicit_domain.c
isl/isl_multi_param_templ.c
isl/isl_multi_product_templ.c
isl/isl_multi_pw_aff_explicit_domain.c
isl/isl_multi_read_no_explicit_domain_templ.c
isl/isl_multi_splice_templ.c
isl/isl_multi_templ.c
isl/isl_multi_templ.h
isl/isl_multi_tuple_id_templ.c
isl/isl_multi_unbind_params_templ.c
isl/isl_multi_union_add_templ.c
isl/isl_multi_union_pw_aff_explicit_domain.c
isl/isl_multi_zero_space_templ.c
isl/isl_multi_zero_templ.c
isl/isl_obj.c
isl/isl_opt_mpa_templ.c
isl/isl_options.c
isl/isl_options_private.h
isl/isl_output.c
isl/isl_output_private.h
isl/isl_point.c
isl/isl_point_private.h
isl/isl_polynomial.c
isl/isl_polynomial_private.h
isl/isl_power_templ.c
isl/isl_printer.c
isl/isl_printer_private.h
isl/isl_project_out_all_params_templ.c
isl/isl_pw_add_constant_multi_val_templ.c
isl/isl_pw_add_constant_templ.c
isl/isl_pw_add_constant_val_templ.c
isl/isl_pw_bind_domain_templ.c
isl/isl_pw_eval.c
isl/isl_pw_hash.c
isl/isl_pw_insert_dims_templ.c
isl/isl_pw_insert_domain_templ.c
isl/isl_pw_lift_templ.c
isl/isl_pw_locals_templ.c
isl/isl_pw_macro.h
isl/isl_pw_morph_templ.c
isl/isl_pw_move_dims_templ.c
isl/isl_pw_neg_templ.c
isl/isl_pw_opt_templ.c
isl/isl_pw_pullback_templ.c
isl/isl_pw_range_tuple_id_templ.c
isl/isl_pw_sub_templ.c
isl/isl_pw_templ.c
isl/isl_pw_templ.h
isl/isl_pw_union_opt.c
isl/isl_range.c
isl/isl_range.h
isl/isl_reordering.c
isl/isl_reordering.h
isl/isl_sample.c
isl/isl_sample.h
isl/isl_scan.c
isl/isl_scan.h
isl/isl_schedule.c
isl/isl_schedule_band.c
isl/isl_schedule_band.h
isl/isl_schedule_constraints.c
isl/isl_schedule_constraints.h
isl/isl_schedule_node.c
isl/isl_schedule_node_private.h
isl/isl_schedule_private.h
isl/isl_schedule_read.c
isl/isl_schedule_tree.c
isl/isl_schedule_tree.h
isl/isl_scheduler.c
isl/isl_seq.c
isl/isl_seq.h
isl/isl_set_list.c
isl/isl_set_to_ast_graft_list.c
isl/isl_set_to_ast_graft_list.h
isl/isl_sort.c
isl/isl_sort.h
isl/isl_space.c
isl/isl_space_private.h
isl/isl_stream.c
isl/isl_stream_private.h
isl/isl_stride.c
isl/isl_tab.c
isl/isl_tab.h
isl/isl_tab_lexopt_templ.c
isl/isl_tab_pip.c
isl/isl_tarjan.c
isl/isl_tarjan.h
isl/isl_test.c
isl/isl_test_imath.c
isl/isl_test_int.c
isl/isl_test_list_templ.c
isl/isl_test_plain_equal_templ.c
isl/isl_transitive_closure.c
isl/isl_type_check_equal_space_templ.c
isl/isl_type_has_equal_space_bin_templ.c
isl/isl_type_has_equal_space_templ.c
isl/isl_type_has_space_templ.c
isl/isl_unbind_params_templ.c
isl/isl_union_eval.c
isl/isl_union_locals_templ.c
isl/isl_union_macro.h
isl/isl_union_map.c
isl/isl_union_map_lex_templ.c
isl/isl_union_map_private.h
isl/isl_union_multi.c
isl/isl_union_neg.c
isl/isl_union_pw_templ.c
isl/isl_union_set_private.h
isl/isl_union_single.c
isl/isl_union_templ.c
isl/isl_val.c
isl/isl_val_gmp.c
isl/isl_val_imath.c
isl/isl_val_private.h
isl/isl_val_sioimath.c
isl/isl_vec.c
isl/isl_vec_private.h
isl/isl_version.c
isl/isl_vertices.c
isl/isl_vertices_private.h
isl/isl_yaml.h
isl/mp_get_memory_functions.c
isl/opt_type.h
isl/pip.c
isl/polyhedron_detect_equalities.c
isl/polyhedron_minimize.c
isl/polyhedron_sample.c
isl/polytope_scan.c
isl/print.c
isl/print_templ.c
isl/print_templ_yaml.c
isl/print_yaml_field_templ.c
isl/read_in_string_templ.c
isl/schedule.c
isl/schedule_cmp.c
isl/set_from_map.c
isl/set_list_from_map_list_inl.c
isl/set_to_map.c
isl/uset_from_umap.c
isl/uset_to_umap.c
isl-supplementary/gitversion.h
isl-supplementary/isl_config.h
isl-supplementary/isl/config.h
isl-supplementary/isl/stdint.h
isl/imath/LICENSE
isl/imath/gmp_compat.c
isl/imath/gmp_compat.h
isl/imath/imath.c
isl/imath/imath.h
isl/imath/imdrover.c
isl/imath/imdrover.h
isl/imath/imrat.c
isl/imath/imrat.h
isl/imath/imtest.c
isl/imath/imtimer.c
isl/imath/iprime.c
isl/imath/iprime.h
isl/imath/rsamath.c
isl/imath/rsamath.h
isl/imath_wrap/gmp_compat.c
isl/imath_wrap/gmp_compat.h
isl/imath_wrap/imath.c
isl/imath_wrap/imath.h
isl/imath_wrap/imrat.c
isl/imath_wrap/imrat.h
isl/imath_wrap/wrap.h
isl/include/isl/aff.h
isl/include/isl/aff_type.h
isl/include/isl/arg.h
isl/include/isl/ast.h
isl/include/isl/ast_build.h
isl/include/isl/ast_type.h
isl/include/isl/constraint.h
isl/include/isl/ctx.h
isl/include/isl/fixed_box.h
isl/include/isl/flow.h
isl/include/isl/hash.h
isl/include/isl/hmap.h
isl/include/isl/hmap_templ.c
isl/include/isl/id.h
isl/include/isl/id_to_ast_expr.h
isl/include/isl/id_to_id.h
isl/include/isl/id_to_pw_aff.h
isl/include/isl/id_type.h
isl/include/isl/ilp.h
isl/include/isl/list.h
isl/include/isl/local_space.h
isl/include/isl/lp.h
isl/include/isl/map.h
isl/include/isl/map_to_basic_set.h
isl/include/isl/map_type.h
isl/include/isl/mat.h
isl/include/isl/maybe.h
isl/include/isl/maybe_ast_expr.h
isl/include/isl/maybe_basic_set.h
isl/include/isl/maybe_id.h
isl/include/isl/maybe_pw_aff.h
isl/include/isl/maybe_templ.h
isl/include/isl/multi.h
isl/include/isl/obj.h
isl/include/isl/options.h
isl/include/isl/point.h
isl/include/isl/polynomial.h
isl/include/isl/polynomial_type.h
isl/include/isl/printer.h
isl/include/isl/printer_type.h
isl/include/isl/schedule.h
isl/include/isl/schedule_node.h
isl/include/isl/schedule_type.h
isl/include/isl/set.h
isl/include/isl/set_type.h
isl/include/isl/space.h
isl/include/isl/space_type.h
isl/include/isl/stream.h
isl/include/isl/stride_info.h
isl/include/isl/union_map.h
isl/include/isl/union_map_type.h
isl/include/isl/union_set.h
isl/include/isl/union_set_type.h
isl/include/isl/val.h
isl/include/isl/val_gmp.h
isl/include/isl/val_type.h
isl/include/isl/vec.h
isl/include/isl/version.h
isl/include/isl/vertices.h
islpy/__init__.py
islpy/version.py
islpy.egg-info/PKG-INFO
islpy.egg-info/SOURCES.txt
islpy.egg-info/dependency_links.txt
islpy.egg-info/requires.txt
islpy.egg-info/top_level.txt
preproc-headers/059092af1bc2ec421b94167ad987ff5bf957216a189c63111e4fbcfd3888e3ce
preproc-headers/072f4d32b4e921a952f71bf987e1663aba3525ffd2d5a225b1669bec9a378dc2
preproc-headers/2a1d28138948561009694901b11279c24f281d8a84d6b7ac03fc3cddb6ec15c0
preproc-headers/2f78b0b2bebda3c4047ad5a24bc18e94b28ac1b2196a25137f88e631fa08bdc0
preproc-headers/38e904a74ab692d24d922e909ac92b978ad362566228ce259a830630ee43abf5
preproc-headers/4179db55062315877d23d6150e194762947d59de03f21f89ada623115cdbb523
preproc-headers/4e73f89811f764acd286301b285c1da1229e1d1ec339ccf74f5269f59a51e4a1
preproc-headers/567dcc0623f606c3bd2507ba81ea0ab315cd95ddfeee72e73e3baf3b3516c487
preproc-headers/57278ca3ef0cdc760828fc747b6392772ea8a11e125484fc4fa07c336c281791
preproc-headers/64b7a0b35e620a1f982419e76f9bba1c9381ce45e361b59d76167daa0d6e40b7
preproc-headers/86ba1cb67efcbe67706f506e14f3cb529522972252b54417e185932f6732b8ef
preproc-headers/905740bb1c70887f55af7612bf9211fa7de700d45764be179c72806b8231e5f5
preproc-headers/92d70b33300bf5fdb8dc5212adb64135fb8063058e5c927c7bde4f6cd98310ec
preproc-headers/ab12db7d52a2810e7d3479331786b9f3b895ddfb1d5ea084c0f202331f75c3f5
preproc-headers/af0a0bc1534b69b4040d9acdc9a8d895842c2d1734781f36edc3f9e363d26bfd
preproc-headers/b10e8fb22cdd24999001d3eb4cf8b42c7944e29f58cfa9e9bc08edc05f783d0e
preproc-headers/b29bd117c22861ca3ae4189a2192cda8c118fe1bb05b51240224bb5a69cfe961
preproc-headers/b63113268f299a2959e551a0f1670d71ce40c0506895e30feee6338071204266
preproc-headers/baef82e3fff6f1f1997b6f62131be3cdaa93e8970fd46f262f3a38d19d583886
preproc-headers/bf6b0aad754904a1f5694a5f5add0bcc813a453dc82a6144ace0911aecf47eba
preproc-headers/d22a0ae97e5892f0677e114f940f652e05b88aeceb83ef7a37dcd435d5481674
preproc-headers/d29861c1c687e0bb3a4640b0006be77dfcce6414e264fb0a7f41d5f431f46bfd
preproc-headers/dd55963ccdf2b8c007abec6bddae4c24d1b909bd055a42e04f6b7d1bcf12662b
preproc-headers/ed3ea923b036d1804b387e55f23b4c67351bfae56334ba5e2e9a801ea665b739
preproc-headers/f9297f03669bbdd24bed45896ef1fc75fca507101618db30d4848004c0d7d874
preproc-headers/fb6c26f9d9ff621b0ec3134248bf1c91067346fc3ceb2108fbfc2e74d8b5b4f0
preproc-headers/fb92c69384f0f1e44708ba76a63797744d018ea7a3197317137732cd9bbcaa4a
src/wrapper/wrap_helpers.hpp
src/wrapper/wrap_isl.cpp
src/wrapper/wrap_isl.hpp
src/wrapper/wrap_isl_part1.cpp
src/wrapper/wrap_isl_part2.cpp
src/wrapper/wrap_isl_part3.cpp
test/test_isl.py