hermax_pycard.cp313-win_amd64.pyd,sha256=g5gaNvYrQZzEHug_OUzkC7eCDrxGl4zHgqXlvH7KPjU,65536
hermax/utils.py,sha256=WqXDn3N1_dUckv-HFR7i_IyKjKZLxQ2cU-TamcuxRHE,8953
hermax/__init__.py,sha256=6vimc-kUl7mD29xwfH-V1ezwzPhilMZW9BgakbYI07Q,1166
hermax/core/cashwmaxsat.cp313-win_amd64.pyd,sha256=xVbcWndZm__q49jkKYsuFDEzQkgxHGsOP-6Xk0ZYn9Q,2147434
hermax/core/evalmaxsat_incr.cp313-win_amd64.pyd,sha256=C2EPufEeAp6wUOa5-foPobqFl9nDb4dT9Qsqjb5DQnY,1651118
hermax/core/evalmaxsat_latest.cp313-win_amd64.pyd,sha256=c8_hMvSeRUdMkIUEizQ5DfXpuH7tYvEwLIBSy9sSgEM,1612678
hermax/core/ipamir_solver_interface.py,sha256=WhArLgt5FA3YxBRK1X4hFGM0CMGMWlmuOFxRetFKOSI,7844
hermax/core/loandra.cp313-win_amd64.pyd,sha256=EOnmqr7C4fS_Bu3oVigM5v3cHJ7TUhERzvGrdPcWcLk,1094586
hermax/core/nuwls_c_ibr.cp313-win_amd64.pyd,sha256=IRu5eQhGYy_8xkAa-Rz691I4fyOZxjvifo27CuX784k,1323656
hermax/core/openwbo.cp313-win_amd64.pyd,sha256=ytrDewqh9ah-mUTfzWTi_wwdyPGkn9u3ZQPD3kSm2ag,1164654
hermax/core/openwbo_inc.cp313-win_amd64.pyd,sha256=PzOcOAPbMKmrHJd1bxU4c8Ccxh8gVt9Swn_xQM4OvJE,1219231
hermax/core/solvers.py,sha256=xLzQsaqdhjQwTQTwRuYFS29V6mwngwCEnhaM5uTITeg,456
hermax/core/spb_maxsat_c_fps.cp313-win_amd64.pyd,sha256=81zbU5MvUO7du1nFpAoF-4wsgS717TiUZK-NQGjmjwQ,1333060
hermax/core/tt_openwbo_inc.cp313-win_amd64.pyd,sha256=8PWCVB7zDN3squjGIxQEMzPVtr8tgdxvsmq4vGleJ7Q,5145444
hermax/core/urmaxsat_comp_py.cp313-win_amd64.pyd,sha256=DcKtPYCQ7NhXbCKaMKsZIgGTGmYAJw2k1YUw0iArpJQ,1113834
hermax/core/urmaxsat_py.cp313-win_amd64.pyd,sha256=c1NaF68uSYbr05oLo14cT_VWvfCo2YRmyf-s_9mLbV8,2214229
hermax/core/utils.py,sha256=dfitDmN-izCNqz6aB7h13gM0LQ0qtqOFzkgjTXf_8l8,1672
hermax/core/wmaxcdcl.cp313-win_amd64.pyd,sha256=rSuAasKoD98vL0g14k8UH5qLJ-gXamuguc-kveh6p0I,967097
hermax/core/__init__.py,sha256=KX8A5Ds1WG3GjgfkZ30ux2TxRsQf2bEtaX23ZPqh-BM,3067
hermax/core/cashwmaxsat_py/cashwmaxsat_solver.py,sha256=CWKfUHUKU8EuvvsUhLFf_1DPcTjCuHVPJ4YBPgdHQ0g,8771
hermax/core/cashwmaxsat_py/__init__.py,sha256=VHeCxNtrLSf6byT2RsFMR6hpERK_CbK9rmq8iogNYbQ,188
hermax/core/cgss_py/cgss_solver.py,sha256=kQUWgwuEISDkN4-6KfhCQDwPZUTECKc8zcHP962h3-4,9379
hermax/core/cgss_py/__init__.py,sha256=fcYAdbG6_BTjqBVOYdW7Wsy5HvQpY8P8xPhcUmv9uec,117
hermax/core/cgss_py/vendor/rc2.py,sha256=oLhx666LlzS2ZYaEoEb2nzClsYU2lEsxArM1TYrPlMY,91018
hermax/core/cgss_py/vendor/rc2_wce.py,sha256=HaEZdgzZ_kAHn702oeqjpzQpp1G-o7YkZLd9_DxYQ5Q,35185
hermax/core/cgss_py/vendor/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
hermax/core/evalmaxsat_incr_py/evalmaxsat_solver.py,sha256=vu0uaOujPBZF_VkcNQnxnKkcFUovcrtq_rXUVStQT-g,7491
hermax/core/evalmaxsat_incr_py/__init__.py,sha256=TXsatw_j43ecMi4YEjBMhnJQoY1Gyj1tFPkzIJEYUcU,140
hermax/core/evalmaxsat_latest_py/evalmaxsat_reentrant.py,sha256=MxWGhxplRTlnBVcskgBEcUski-eJ7vFvy54QbIHVOPE,9245
hermax/core/evalmaxsat_latest_py/evalmaxsat_solver.py,sha256=baOVhpZFV1Cbs6r8TVLJlpL7G9B0CZDXAnF_SFueyDw,7518
hermax/core/evalmaxsat_latest_py/__init__.py,sha256=JIhSdvQNDQgbBxxA8_c9oOnZtvCLb_gr6j_c7yYa5fo,201
hermax/core/loandra_py/loandra_solver.py,sha256=Nns3GLTXWE1Qxn_wI_CuaFNq5ZVRA6IP927grq9x90I,5172
hermax/core/loandra_py/loandra_subprocess.py,sha256=jBo1fDh8qouGRUvydDGmPRrOWDURnakKcGHsL6FwhNY,13284
hermax/core/loandra_py/__init__.py,sha256=F4B-jNfoQ48BSn15flp0NboRsXT4jxbVgo7GT03mPcw,175
hermax/core/nuwls_c_ibr_py/nuwls_c_ibr_solver.py,sha256=7cN6PtG2Y20zxTIaxXuMJThqr3GsYrRz4lGFvblwpTo,8507
hermax/core/nuwls_c_ibr_py/nuwls_c_ibr_subprocess.py,sha256=b_wrPJgWWAbyntvcwuoYnn4Y5DHotA-OZMxH0D6jsNM,13481
hermax/core/nuwls_c_ibr_py/__init__.py,sha256=BMTa6Np67QHyvxE8_7N2C-i7E5rIWUFrxftcy-tDgq0,195
hermax/core/openwbo_inc_py/openwbo_inc_solver.py,sha256=RgQOvtbqCcvtUevgEccelZrWcd14xKjVx66LhKdveZ0,5352
hermax/core/openwbo_inc_py/openwbo_inc_subprocess.py,sha256=tOfHp7CSdrxjYWYPbYBW56SPMV89DZTmdvIAN5pmNNg,11501
hermax/core/openwbo_inc_py/__init__.py,sha256=gpS8Ua7ooWYVB7HmlNs8ThbUAyrCwMnt7T5FDxspd8k,98
hermax/core/openwbo_py/openwbo_solver.py,sha256=Ulzm1yCfUOIOQKmCznVJQ1DoyAbUkgGkkRoxN7_KL0o,11540
hermax/core/openwbo_py/__init__.py,sha256=oqoMv2QSwHiXLGiDlkAGGvmentnvKEWJ0HpQysXXCSc,72
hermax/core/rc2/rc2.py,sha256=mvkKTHOAuFY4DSk0WUFzUqokTiU7TCkzeyVjxLqxle4,69944
hermax/core/rc2/rc2_reentrant.py,sha256=oNv-I678UY0spxm0Papn1mFjb2YKu5_sW8ZrkWxLjro,12219
hermax/core/rc2/__init__.py,sha256=NyEwbBCQhS4fwCOYsWBIUJ_0DntJJp_ez6au5rc3QqM,39
hermax/core/spb_maxsat_c_fps_py/spb_maxsat_c_fps_reentrant.py,sha256=i7HGtEA_BEsD8dBgnNXBJT2TZiFbXFH84bcZ0_24__8,234
hermax/core/spb_maxsat_c_fps_py/spb_maxsat_c_fps_solver.py,sha256=lfiIGanlT6i9USrtmRoMcRfZe7zgZMF0If56yCtwBX8,8202
hermax/core/spb_maxsat_c_fps_py/spb_maxsat_c_fps_subprocess.py,sha256=92Ix8zf8XKbULw4T3TrLQ8HnFYSWDcTHfkdUbuJoxPc,13506
hermax/core/spb_maxsat_c_fps_py/__init__.py,sha256=aLxmxGLWzzTsoeSyxbUvp_leaxnhLse4M8NVDWIJ_2I,236
hermax/core/tt_openwbo_inc_py/tt_openwbo_inc_solver.py,sha256=jO3BXNXxctnnLToM-0OzdAjVlMH2BOoKg09F_K1Rtx4,5176
hermax/core/tt_openwbo_inc_py/tt_openwbo_inc_subprocess.py,sha256=Z7YqkLHODO_1bK_v9bYZS8CHtlEnRlyR8v7ZIeCkR1A,13522
hermax/core/tt_openwbo_inc_py/__init__.py,sha256=klHllyFrhbUBgGlt8YTh5sszROjA77qaZcA0Um5wjFM,108
hermax/core/uwrmaxsat_comp_py/urmaxsat_reentrant.py,sha256=-UGdjM8PXlj3ZpdcGdJ1bY1x1UwXURVKAh08fsdREyM,7620
hermax/core/uwrmaxsat_comp_py/urmaxsat_solver.py,sha256=vLHRFRKrlMIUjAcfsz_JGfyK82HJ0aQb6Czy-4y72BI,10962
hermax/core/uwrmaxsat_comp_py/__init__.py,sha256=lbGifarJWQwK2wZlTJE7CREe2qPUy-wJRPm8jvyTDiw,106
hermax/core/uwrmaxsat_py/urmaxsat_solver.py,sha256=sFE-sWcSUEBgsZZlzPDxc9ZbppMNMJaUAPAnEc-mzjQ,9909
hermax/core/uwrmaxsat_py/__init__.py,sha256=QsEwxceBzhTQbV35h-ECQIkjTDsoFvO0n__7-RjMFeA,46
hermax/core/wmaxcdcl_py/wmaxcdcl_reentrant.py,sha256=hZ_0eWtEI7ZYb2RffMnKjZNniT-Vsb0v6NGGnqO69ls,393
hermax/core/wmaxcdcl_py/wmaxcdcl_solver.py,sha256=okum2aiyLYHr8p8SzpsieNUxEVfm89pCYKHjz6a6W_k,8796
hermax/core/wmaxcdcl_py/__init__.py,sha256=_HB2UUFDvaShi5t6z_-rfkXOwXKvpT5fJUkTke4tHN8,198
hermax/encoder/card.py,sha256=2pGQuOtlOCcgpIb514DahdJFMAOo1yMdmjc2wfRQJxQ,31416
hermax/encoder/pb.py,sha256=Y7kRk81NQcT-uj1Lw8p4WnV_TH2VchkLNlS9qPI7XYU,9521
hermax/encoder/pbamo.py,sha256=MZbVuLxeCGhlkSX_8_UDQbNCjb-qn_oh607nV82bIdQ,27534
hermax/encoder/pb_enc.py,sha256=SASFpumMcRzM5vIzr91gW31an5xxICO1r55qLptvehM,16814
hermax/encoder/__init__.py,sha256=56ZdvRqvadlM_Zi6VRSYe7iLIScEAeRJUzbvgyiMMJE,313
hermax/incremental/__init__.py,sha256=8KZw4OPCBTabC76IdGAZwO5DAGOY411AcPOEZcMGGQo,2240
hermax/internal/card.py,sha256=u6SHF8CzQafZc9RPw90uFbi1cieUAj0jt0Lc4b2SPo8,154
hermax/internal/kmerge.py,sha256=fO8EgltI1KafN0Kl6m0id3aJu-Eu2R3gD69AHfXVkSo,20756
hermax/internal/maxsat_cli_parse.py,sha256=LJMFbtxpgNdtIYTcMYKFVaLSHSQUiDX4Hr9EG9aIexU,2487
hermax/internal/model_check.py,sha256=WmTtOHJ_IW-Ne-s6n6-ET6eQI3dmkCHMrRpVpqMvhYE,2377
hermax/internal/pb.py,sha256=DOTb6lSxOahKhC-dwXRk1bX63zmK04xQ4_q6GHPO844,126
hermax/internal/solver_worker_main.py,sha256=1VNG6TnrtW82ND7jy0rJ4emlGPJkern3kRCZBQlGJM8,4837
hermax/internal/subprocess_oneshot.py,sha256=1qY6jNGqvSUD4k19irnL3MTmjjvsZRoHNaPmQq0zOqw,4426
hermax/internal/_pbamo.cp313-win_amd64.pyd,sha256=Hj4uTHSdx5fqFOqYyeEre3wRqeXh72JWGpCxFRl4ZxE,152576
hermax/internal/_pblib.cp313-win_amd64.pyd,sha256=oAW1ZGBn4QEDCPRkH2At0OtvEEUaA82UQ9Ua57CvLdw,194560
hermax/internal/__init__.py,sha256=ISZyNnO6kbfbSTu8HIaqtPSH5m18Jdg5UCj1W6DNh5I,452
hermax/model/core.py,sha256=9DboZs5cueR2HxuRvAcrQD5KcNzVXsqmtY4UKZ2rTis,138595
hermax/model/encoders.py,sha256=HOn4Wuop-GIAxEZKl_8QcZT-gFD7uQ3IIgy_kG_UE3U,64178
hermax/model/expressions.py,sha256=RlkY6GNwaPUbRxZkiFlYZFUhiZ8MmQHg4CljV4wX_QU,49699
hermax/model/variables.py,sha256=GGLQxDAurivzopaTJ31WKpJgL6I3fjpajgZf6QWUezg,89834
hermax/model/__init__.py,sha256=KCTeDQ-p5szWScxYd10UUYSwtoBr3wN_CktBwoCW4NU,1227
hermax/non_incremental/__init__.py,sha256=r5sLAweYnt3YyIV7NERZwhCkhEvAmVGvZuDVkaHPo04,3343
hermax/non_incremental/incomplete/__init__.py,sha256=SsS6eOx0MAZ8PX3y6KC0N8TgsdG9Tqm6BK5qJ3YPHhA,726
hermax/portfolio/solver.py,sha256=HLePDa4XlLrg8GXJvZhyHuY3804tGs6yM369-mNuSdk,39849
hermax/portfolio/_test_solvers.py,sha256=XI1wisSKZeMKOnECx6-Fcgpj8fS3qyCbM15URVlKIKc,1769
hermax/portfolio/__init__.py,sha256=LA9NYmNflZzDlPxXscHMxL8m0TVlEPjM1U-LIFGmvN4,465
hermax-1.1.1.data/platlib/libgcc_s_seh-1-8d03a4156359b5b7b9e70a161826a86e.dll,sha256=a8kizUF6VEZcbfWy2iuy9Y-pGYZvFaaOu7XWoDHEdEc,150196
hermax-1.1.1.data/platlib/libgmp-10-37248cda33845e7c5c35a574e57da762.dll,sha256=NySM2jOEXnxcNaV05X2nYt0KgmjwJw0XnzCjN0aAloE,679747
hermax-1.1.1.data/platlib/libstdc++-6-830d355af905c3fa5adca960eac8c465.dll,sha256=U3JODM-x9_wTSh1xjkgA2nTx06tK_lohUFgScaM2kb0,2462716
hermax-1.1.1.data/platlib/libwinpthread-1-199474f4885374778124211409eb94f5.dll,sha256=GZR09IhTdHeBJCEUCeuU9VwBKldxgxb4bv1U9M-9jyA,64931
hermax-1.1.1.data/platlib/msvcp140-a4c2229bdc2a2a630acdc095b4d86008.dll,sha256=pMIim9wqKmMKzcCVtNhgCOXD47x3cxdDVPPaT1vrnN4,575056
hermax-1.1.1.data/platlib/zlib1-93e9243a44c29200eeacaf9658efe255.dll,sha256=k-kkOkTCkgDurK-WWO_iVYWBdw5LEcpLUA4Y5CSm47U,128488
hermax-1.1.1.dist-info/DELVEWHEEL,sha256=_EkuislVCkXOCxdC41-66rxYH5yej5dfQkzXVv1nluE,447
hermax-1.1.1.dist-info/METADATA,sha256=KoV2V1vX9Mnk9OXxCNh8-hsHYrExNwjqiL9rpDcySvE,4887
hermax-1.1.1.dist-info/RECORD,,
hermax-1.1.1.dist-info/top_level.txt,sha256=_LIohRbiPkcpT2Sndl4DYwMUgJDLpGZFsqeZ8QVtoFQ,21
hermax-1.1.1.dist-info/WHEEL,sha256=x5Wpw_tLx5PQKiWdxpqvs0e7Sg-SO0mTWdEADYDGPGA,101
hermax-1.1.1.dist-info/licenses/LICENSE,sha256=Lyi3JX7HdaHrF8FwWIwbxBHyyAkJbuja3bw8BCb_WQg,10351
hermax-1.1.1.dist-info/licenses/NOTICE,sha256=QEQg1Q-h5ar7edXEb69hj1vOL12U3tW7Yht4PF2iY4o,1419
