tilings/__init__.py,sha256=3W-tMPFJIqiBHRBWZBOhQZvFdh_zIwBIrt6SARsg1Wo,211
tilings/assumptions.py,sha256=k5cpc4fYBl3p7WRqC2VRDS8xk1pdskRsuY9P5l_1ynU,9439
tilings/bijections.py,sha256=mDNnOlV3cKSdkaFsLJU1Wqm37Oitk3zNmsEQd_U_bzg,17314
tilings/cli.py,sha256=gzpTNh6i61HC5ovsVmuHJ28z7AdRFS5_y7s7v6Xs0DA,5448
tilings/exception.py,sha256=rjkSVCpeoP6FL_m-FWsgF2i5aNExGfzBAnypgmXwC40,49
tilings/griddedperm.py,sha256=0Jg0tO00Jr-bjS7MN_FMOgUpXMDHEy86VI8LK2LpuLs,30218
tilings/gui_launcher.py,sha256=ZolBbx548MX_KomwC1H1Z38xe7pgwYRh1kJT36r02Jg,3460
tilings/misc.py,sha256=0gdYnFcDVhZw41i_JL5HyOMwFD7iVj9Q5iyjo1y2m-U,5542
tilings/obstruction.py,sha256=gO7Mq5prR1hu6MFt5zdqNnkAMpl4s8vQg0XQ4fz5DWo,189
tilings/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tilings/requirement.py,sha256=oWQcxL662L-GltfqFjgE894pd41XXUSX--S09UvdI-U,188
tilings/strategy_pack.py,sha256=3Siqk-XtUGWioN4Jpkv6zi5GDSAFQ8iZ-4EUWYEi7TA,34761
tilings/tilescope.py,sha256=utGjLimAflmnsPnLSKBWs0cvfTBeQydCayjCyJ5jfAE,23861
tilings/tiling.py,sha256=tXpnOtBdXr0iYHf4qycacdNaJlix9WtFMmsNHVtXTJ8,76400
tilings/algorithms/__init__.py,sha256=4wR40VQ5zTRcnztxZPx1cTz7dvZAWq-pZnTeFIv9sGI,1355
tilings/algorithms/better_bounds.py,sha256=FZO76ggpqGLrQEvAb0AwjnZ3OBIADP9sywNH6TKnHpM,28383
tilings/algorithms/enumeration.py,sha256=PvaUKpmONRQXcJzCiTyxy7wXI2jRAJO6YfiEH3BFR5k,11983
tilings/algorithms/factor.py,sha256=VQ-I43GnY0l-IISharyGlQ46Q1BxSyEJshvn0zGst4s,9458
tilings/algorithms/fusion.py,sha256=9k2nF5sYmjxoVSOn9d7d77eYzxoiK1-JCCY3aGI6uxQ,24924
tilings/algorithms/gridded_perm_generation.py,sha256=gNAOC88V8yDV4x6CcjsLmibYLznp4i3tWz_IwC5Amvg,3396
tilings/algorithms/gridded_perm_reduction.py,sha256=xic8HvVFlZb4KoNWKB61Ma8-ABCg-NZ3enOg8h8JQ9s,13712
tilings/algorithms/guess_obstructions.py,sha256=AxeOtcyYt-Ec03syj_5AwtgCMLfP0g4OY_q0q_sa1Go,1404
tilings/algorithms/locally_factorable_shift.py,sha256=KAI3XG4Qw5_ZrdxecyTJOscg41z2wajPW7a9uO_VK4o,4954
tilings/algorithms/map.py,sha256=PhjSN6rVOUFh6Cr4dSXnOBXDzPAQnPiKKwDBXWdhlSI,4386
tilings/algorithms/minimal_gridded_perms.py,sha256=dYpiBwRLYVLCR0n5RWbmzy43oaIp_dg32-UXkJ-clkk,25117
tilings/algorithms/obstruction_inferral.py,sha256=HX9BOESPY0wRNOP_ndhqg8fdh-nPH2y21XLs04QkH6s,4790
tilings/algorithms/obstruction_transitivity.py,sha256=lEOQ7SroLQDAKl3HilDerP45RcXoZi4EjqV5lRF_wmo,7725
tilings/algorithms/requirement_placement.py,sha256=7RP-0iDyN59ZCVu209iRi-V4vEX1R91ANy7PObHvRSw,17351
tilings/algorithms/row_col_separation.py,sha256=X4V__UR0BGEKmnz3SsO4nDln8Ed2HVeYh_3DkBNz4gc,20086
tilings/algorithms/sliding.py,sha256=zNZEipuBMogkxkKlhtgvQUutPDd-1eAaFsVdR9wCJZc,18022
tilings/algorithms/subclass_verification.py,sha256=v64sqzB5UMPV5AqG1pqt6gZGaa57V9PtMOPr91GcXm8,3578
tilings/strategies/__init__.py,sha256=c41RGhBT-g2mqjtaSSkc7BD7NsXunU6IM2_EFxB9Z4w,4191
tilings/strategies/abstract.py,sha256=FCn6aiHA0p6Odf_rd4LNNAlYq4cEnPzVIk-BBqsQqaQ,2590
tilings/strategies/assumption_insertion.py,sha256=FncpcN2XYe2vWskktuTceLDK9sIG6xZN9EsbVAzvIfE,13624
tilings/strategies/assumption_splitting.py,sha256=Jl67CsGlLHMks9dMZFjYKhAclVqgY_vv8B8bRn-dRrw,13055
tilings/strategies/cell_reduction.py,sha256=_C4KgL4Xnf_5-88r9ZhL4oAW-p4Q1IOdMPvepz99Fbs,10289
tilings/strategies/deflation.py,sha256=s4vGAK-qgoAPArBDterb8aYLIk-wMz3KFhdT0E2qMSw,11704
tilings/strategies/detect_components.py,sha256=XWKW8KPjZCg6h2VzHK39-XYsvKkpa1SYzc92-0jibxw,6706
tilings/strategies/dummy_constructor.py,sha256=5I5TpFldltFbv6I9buyu8xn4WdFvJOIfyVM9-crrjCc,1393
tilings/strategies/dummy_strategy.py,sha256=CTh880iyWWdcLqh--SPZC1XV_Uaw-sGKwvehYJtIBEs,2549
tilings/strategies/experimental_verification.py,sha256=w6T04ayX0WvqawAYRo9Q859JcJJk45CFTTt5daZghEA,8290
tilings/strategies/factor.py,sha256=4hOfOy7AEIlQd6yZTQ0ST0A9hWkewiwJkb3oNtN2Ok8,24089
tilings/strategies/monotone_sliding.py,sha256=8P2c0gpGmE8dPeN0bwEBZw5inwv4MUTyh8c-3Pk9Rdg,8592
tilings/strategies/obstruction_inferral.py,sha256=dvZ9OOdfazHm_j1wQhMaOrgr4tP0AWeU7WiQgQEgJDU,7223
tilings/strategies/point_jumping.py,sha256=z1KwCzVNDWN0Sd2YGLbZ78e39Sjwrti0WOveigd3JDY,12035
tilings/strategies/pointing.py,sha256=Wjml4Vn4Kvs2UhvsVSxi--JQb1QPdgqK8RKb-pd_h_8,20993
tilings/strategies/rearrange_assumption.py,sha256=lOqVpls8KqT30XgwcdPrccPQATzl7J603F4axTSrafo,19253
tilings/strategies/relax_assumption.py,sha256=r5Ci-kmQgOHXGEKzgB1gdtP-De3RlSka7_tKhR3xXhY,3959
tilings/strategies/requirement_insertion.py,sha256=O2_8Fk9tS7IMYvW3208voXJPwhAJ8-JPWvGJWmXEr6c,27194
tilings/strategies/requirement_placement.py,sha256=cAyjdh8E2dWwNVsMobtk9_eC4JRDR8bZS0WQkoA2M5c,27722
tilings/strategies/row_and_col_separation.py,sha256=u9LXpkF6aR0pTdzwGQyVxlwDiEjepDaoQH3A3Rkj-UA,4669
tilings/strategies/sliding.py,sha256=e2X9PjVR0_Kxd6QK6oCVpmh8WMQnFVV4DTAA16UB79U,10573
tilings/strategies/symmetry.py,sha256=H7nNSKKM-FPyqjuqJ72Q-nteVtWpDu2L9dmmgb7avDE,13908
tilings/strategies/unfusion.py,sha256=6_DX2kcKYzm_e40H3y9mmsCf78eDY8wydYUjKWCaqD8,10856
tilings/strategies/verification.py,sha256=gKATzlNrPkciprrdF5MX7E_-xWUNeXX02VtJH55945c,33912
tilings/strategies/fusion/__init__.py,sha256=LdtPH3JDtvpf0d3E6MPyojfWBFebAfJ8Y6pEF8624ZM,338
tilings/strategies/fusion/component.py,sha256=Yz_VCdR3za2VpM83HwgPj7ILFXRewS9mHuM24qOlAAE,4169
tilings/strategies/fusion/constructor.py,sha256=VB4H10uUk-qgb9FQnXEMRQT440vixSp1T7V-rMnAjPA,37080
tilings/strategies/fusion/fusion.py,sha256=sousAyrXsJGIxRv2-eDkQqeKF1PrwSrZER783f_at20,17021
tilings-4.1.0.dist-info/METADATA,sha256=w_tDlMlEPlzXFRJTV0Z9puDrHHzK8PbqDHitO-xXkc0,51776
tilings-4.1.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
tilings-4.1.0.dist-info/entry_points.txt,sha256=MWdjLJbb_mXJUfk4P3dsXL_pamv55EZp_xxzx_cy7Tg,47
tilings-4.1.0.dist-info/licenses/LICENSE,sha256=kZBxb9-Yl0BchrJnhEkDJStE418RCvgRespzw5Ps1-c,1503
tilings-4.1.0.dist-info/RECORD,,
