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_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_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_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/bintest.c
isl/imath/bug-swap.c
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/pi.c
isl/imath/rsamath.c
isl/imath/rsamath.h
isl/imath/rtest.c
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

src/wrapper/wrap_isl.cpp
src/wrapper/wrap_isl_part1.cpp
src/wrapper/wrap_isl_part2.cpp
src/wrapper/wrap_isl_part3.cpp
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