hermax_pycard.cp313-win_amd64.pyd,sha256=GvBckFCkJjJIqLYkODIww3nITl5ct2PlrLJXjT-ijFk,65536
hermax/utils.py,sha256=WqXDn3N1_dUckv-HFR7i_IyKjKZLxQ2cU-TamcuxRHE,8953
hermax/__init__.py,sha256=X3iGd4upl5-fXQ6uKzQBHvS13HFBJFSc2B7-ZyEJbmM,1166
hermax/core/cashwmaxsat.cp313-win_amd64.pyd,sha256=l_1muuzaRqFyX7Y3e9cqU792FWNmzBea48BQAQXuT8s,2133693
hermax/core/evalmaxsat_incr.cp313-win_amd64.pyd,sha256=tfqy5eSPXXJk1taVWINhqdzvdHUhY821myRWh9TaiW4,1643338
hermax/core/evalmaxsat_latest.cp313-win_amd64.pyd,sha256=lEZlkdGGpqfHKf9P1nVyxpIVrSveN5t8eZNwYZOEuSg,1551165
hermax/core/formula_journal.py,sha256=ZjjRULRvQ-3uC40tOkzA689l3dLvFb8yw8BX94o9h-s,2853
hermax/core/interrupt_recovery.py,sha256=7wqCkmcDHYsKeNdB0hOMObPJMB1tUqI9aEumlZnGfpw,421
hermax/core/ipamir_native_incremental_base.py,sha256=uvp3r4S7QRHfk7e08gHkDjZj6736n9FQCqI7yk_4ygg,8735
hermax/core/ipamir_replay_base.py,sha256=q82mxIw62T23uk6DYz_ttGE2nZ-ps9yFvj3jXlrfWCo,7641
hermax/core/ipamir_solver_interface.py,sha256=breJwkKn1lvOx-7HTqxXdFM4CXjfWkooeqgukCyROH0,8250
hermax/core/ipamir_state_mixin.py,sha256=cmTCIuhKGemKWeerb5-Un32-KXB4W8ND97IgioRkNTg,3309
hermax/core/ipamir_subprocess_replay_base.py,sha256=bnjHyRPK_6MmRE7TgQYtN8Uvm6S15MC8e_5iI_Unvgw,8914
hermax/core/loandra.cp313-win_amd64.pyd,sha256=N9Vz5TtxvaP8vvym4NLFiQDhhwQ5x8cGk-_n7gjxVvU,1092829
hermax/core/nuwls_c_ibr.cp313-win_amd64.pyd,sha256=tCY3w4TMtX4NcocHB_E4X4XgUgDmyEHC-aQ_is84MRI,1323673
hermax/core/openwbo.cp313-win_amd64.pyd,sha256=SsrJIxgv0KU_lj2buh9y37jhqODGb6Wq4oSfGhZ3Keg,1155682
hermax/core/openwbo_inc.cp313-win_amd64.pyd,sha256=h5W5_NWjZCzkKH3nDvuJmLv6QW2fSwpmlYUMibRgC9Q,1216150
hermax/core/solvers.py,sha256=NqUv-Q2SK5jhjOj39seWauIpOoUg1kJ_rosG5QgTjuA,569
hermax/core/spb_maxsat_c_fps.cp313-win_amd64.pyd,sha256=3Of6f8d67bjwuU_-kEOoBckkXXSbwgM6QM6PE_TO0os,1330904
hermax/core/time_limits.py,sha256=WuLO_XnI_tX4DoXH8e7en9Ia8LBGnybqAR3VLjenahU,1326
hermax/core/tt_openwbo_inc.cp313-win_amd64.pyd,sha256=h5wde-9RniJO2djQ_OcCacEH0-FTZXCWPHvbCvO5arI,4845258
hermax/core/urmaxsat_comp_py.cp313-win_amd64.pyd,sha256=0eamD1VDi5vsrM8ikZWAbehUVlBZ-k7kzA0DPvUFI1I,1090068
hermax/core/urmaxsat_py.cp313-win_amd64.pyd,sha256=F8HO4vxSIxpTSU4BM16WTWUKtJtO8dDiFD7sODjfPMs,2197662
hermax/core/utils.py,sha256=dfitDmN-izCNqz6aB7h13gM0LQ0qtqOFzkgjTXf_8l8,1672
hermax/core/wmaxcdcl.cp313-win_amd64.pyd,sha256=kTi_SHW9iBW2Pir8Bf9BzGAhrkLFxb_nr3Uhbn2e_74,957147
hermax/core/_aperture_native.cp313-win_amd64.pyd,sha256=PO51PUxRevBF2ri1J7hmpeksLNA_CsysVOiiXbAHkb0,7693229
hermax/core/__init__.py,sha256=UXSK0ZGNEj2bkeg1wTJ-m4qdMS0kmzfOSlklFEiKPDI,3409
hermax/core/aperture_py/aperture_solver.py,sha256=RXY2Hmy9J5oCbBEYVe4LhdE3XCdRALFx4NVUsddYoGo,4332
hermax/core/aperture_py/__init__.py,sha256=MsQBIBxtgbkOFNiJyvZPu5AJqZv9E7NdcHDtYGddrVM,77
hermax/core/cashwmaxsat_py/cashwmaxsat_solver.py,sha256=N4r4NLuJXkOggGhmwl5xDu6LnLwumW8yefKVpVahH9s,3325
hermax/core/cashwmaxsat_py/__init__.py,sha256=VHeCxNtrLSf6byT2RsFMR6hpERK_CbK9rmq8iogNYbQ,188
hermax/core/cgss_py/cgss_solver.py,sha256=L6xHoU-3o5qc3_rNLe8GFJkdN4T3p3KPhjQNAV067VI,3069
hermax/core/cgss_py/__init__.py,sha256=EUnb9AzVwDQHcHd-vhlqvBCYrcxwElMyGKDWLFBuTMA,144
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/coretrail_py/coretrail_solver.py,sha256=TsENcXTlSxnv4fDpi-czboohah9vai3Ax2cINpjPL7g,6249
hermax/core/coretrail_py/__init__.py,sha256=wNn-rNc5hcMf9FsHeWwUZOmmbeHU6XthD0wvMiV_vlA,80
hermax/core/evalmaxsat_incr_py/evalmaxsat_reentrant.py,sha256=ci2_k4Eb9XpZvA33PEFTkUK4v12I80WdLUepOnS_lZE,2695
hermax/core/evalmaxsat_incr_py/evalmaxsat_solver.py,sha256=hEIDYIMj0MQ_SlOHfb_encI-pNgPsAg7TC3WPKL-FI0,3954
hermax/core/evalmaxsat_incr_py/__init__.py,sha256=KpZgIFEwtEfv5ay0-rpSZZJ8QSOHPapkj47Khrk1wOs,199
hermax/core/evalmaxsat_latest_py/evalmaxsat_reentrant.py,sha256=BeBlPdeNXeQYqIgioQxl9lnavA8fUJkLkraJ5WZdnQs,2853
hermax/core/evalmaxsat_latest_py/evalmaxsat_solver.py,sha256=JG-5pBnFe6yE3XAZnY1uErZzRuw-MMtKspc4OpokRBU,1843
hermax/core/evalmaxsat_latest_py/__init__.py,sha256=JIhSdvQNDQgbBxxA8_c9oOnZtvCLb_gr6j_c7yYa5fo,201
hermax/core/evalmaxsat_latest_py/__pycache__/evalmaxsat_solver.cpython-313.pyc,sha256=ADK_EjO3jPMdUvMEGZPVBogNCw7sMDuF_LH3VzbvezM,11117
hermax/core/evalmaxsat_latest_py/__pycache__/__init__.cpython-313.pyc,sha256=xiu54HSm51iH1f080QsEuDKQK7e9rZ0MJ_qNCS1nUyc,473
hermax/core/imaxhs_wrapper_py/imaxhs.py,sha256=uUS70k3S1fGH5ry5cjP9bLe7G5pBzFXeQW4TsuSgZPw,6382
hermax/core/imaxhs_wrapper_py/__init__.py,sha256=eafCdH1D4XpBanGOwlp3JFrgtsQFJbyJxf9Z94LcxgQ,36
hermax/core/loandra_py/loandra_solver.py,sha256=w-rp-guWc9R-Dp0Cx9WhrtGnsB9toRJ-e6tyVkohvvI,5582
hermax/core/loandra_py/loandra_subprocess.py,sha256=-p-76vbyF4XUjcz5-lKTwOlK2PrSFYYvopwpBLSNcJc,1591
hermax/core/loandra_py/__init__.py,sha256=F4B-jNfoQ48BSn15flp0NboRsXT4jxbVgo7GT03mPcw,175
hermax/core/maxhs_wrapper_py/maxhs_solver.py,sha256=vGXgCHCPyHb-04Rv0aL7B5kkZR0Re5AL5IYBOskk70U,7650
hermax/core/maxhs_wrapper_py/__init__.py,sha256=Xj1x6yb2Ml-ThqdX-5UcUrt-2mYX_gBtv_qi2mXngMg,41
hermax/core/nuwls_c_ibr_py/nuwls_c_ibr_solver.py,sha256=KvvX1VKsT1ZL2tPNA25OgGqOOqOPDumAhCeQ2MR5sSI,2502
hermax/core/nuwls_c_ibr_py/nuwls_c_ibr_subprocess.py,sha256=rMbghJIbzq57GMPLtOui40LucvrgbtgnIrIDogCLZPA,1661
hermax/core/nuwls_c_ibr_py/__init__.py,sha256=BMTa6Np67QHyvxE8_7N2C-i7E5rIWUFrxftcy-tDgq0,195
hermax/core/openwbo_inc_py/openwbo_inc_solver.py,sha256=MJ7H84vQUvxNxNESm76MNM_MBFwDODut3AalCI0lfFI,5728
hermax/core/openwbo_inc_py/openwbo_inc_subprocess.py,sha256=SSG1r0lNWyaL2GxB4DhfLT8fW3nIMrQt8rr-mQGeBqg,1665
hermax/core/openwbo_inc_py/__init__.py,sha256=gpS8Ua7ooWYVB7HmlNs8ThbUAyrCwMnt7T5FDxspd8k,98
hermax/core/openwbo_py/openwbo_solver.py,sha256=Zs0L2it8DXMUAQX-Xmlmio7rk7wCcxTVjdGi778ZLnw,3190
hermax/core/openwbo_py/__init__.py,sha256=oqoMv2QSwHiXLGiDlkAGGvmentnvKEWJ0HpQysXXCSc,72
hermax/core/rc2/rc2.py,sha256=mvkKTHOAuFY4DSk0WUFzUqokTiU7TCkzeyVjxLqxle4,69944
hermax/core/rc2/rc2_reentrant.py,sha256=1c5-2ophG6zbAi1XD9aCD74DmqQjsVyA93AtyBqpCiY,2934
hermax/core/rc2/__init__.py,sha256=NyEwbBCQhS4fwCOYsWBIUJ_0DntJJp_ez6au5rc3QqM,39
hermax/core/rc2/__pycache__/rc2.cpython-313.pyc,sha256=xULifHXO5zSFrAaTp2pjwaDgNWhshQF59oIiHmFaFx8,70861
hermax/core/rc2/__pycache__/rc2_reentrant.cpython-313.pyc,sha256=hSCqkILoYb3v3kETvR5m2SNp7YY0R2f4uDMPpJ4GKtQ,15435
hermax/core/rc2/__pycache__/__init__.cpython-313.pyc,sha256=obSS3KONlR7QYZoPXICI8Y2egYa7sdRCpwo_YHghqx8,239
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=gn3rluBZSN-8Wgn-FFbOLC72PrddihkSNFYC13TMA2Y,2301
hermax/core/spb_maxsat_c_fps_py/spb_maxsat_c_fps_subprocess.py,sha256=0T8K7vCcp7IiHhoqxPuIoBQL1PJgLzfBhMs8enlutJE,1696
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=5c4E0KupSCNdWie-sLeWZTk61OmRJaj3Gi8F19orIIw,5475
hermax/core/tt_openwbo_inc_py/tt_openwbo_inc_subprocess.py,sha256=WrYuwuEtkma0CxEahWIqHVG-REASUh8YokKWU_bq1Zc,2127
hermax/core/tt_openwbo_inc_py/__init__.py,sha256=klHllyFrhbUBgGlt8YTh5sszROjA77qaZcA0Um5wjFM,108
hermax/core/uwrmaxsat_comp_py/urmaxsat_reentrant.py,sha256=W9kzPYCmYjEJ6MM2ekc48tp_5PWAbtoCfJ_L7kKJc-E,2863
hermax/core/uwrmaxsat_comp_py/urmaxsat_solver.py,sha256=TjFBrbOwrD-bnIeLL-sKEfVx4SCFOdWm4ICjzHcUJWU,6908
hermax/core/uwrmaxsat_comp_py/__init__.py,sha256=lbGifarJWQwK2wZlTJE7CREe2qPUy-wJRPm8jvyTDiw,106
hermax/core/uwrmaxsat_comp_py/__pycache__/urmaxsat_solver.cpython-313.pyc,sha256=DahOnEeWhUhzNrea71v3hBjkE0kks5zcrsj8PVd7DKg,14080
hermax/core/uwrmaxsat_comp_py/__pycache__/__init__.cpython-313.pyc,sha256=GJ5XZvhrLUhKLPnahdQz-f6P8XyrdRXPBZEsFHm71ZE,328
hermax/core/uwrmaxsat_py/urmaxsat_solver.py,sha256=KBMgwm3ezsfrvmond4vyHkR8WwXMfgotJc7mI7O-_nU,5030
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=m2-ftjQUJ8U457fmJqqgGSYVLqlMy2gK9xg9iruLDqQ,2267
hermax/core/wmaxcdcl_py/__init__.py,sha256=_HB2UUFDvaShi5t6z_-rfkXOwXKvpT5fJUkTke4tHN8,198
hermax/core/__pycache__/ipamir_solver_interface.cpython-313.pyc,sha256=7Z9-8PvEUsYCYm_wPqul0-Pq8l9j54JFWhoV5uNJZec,9706
hermax/core/__pycache__/utils.cpython-313.pyc,sha256=8xRbFOaS_ZIebo7sG79O6r7o6rpyfI2iO3o2RnsZxf8,2238
hermax/core/__pycache__/__init__.cpython-313.pyc,sha256=zEk3zUMUiZW94LkL9Eq1HQqVEofXt0nJjqUN8djuIM4,4013
hermax/encoder/card.py,sha256=2pGQuOtlOCcgpIb514DahdJFMAOo1yMdmjc2wfRQJxQ,31416
hermax/encoder/pb.py,sha256=6d0nuPTSBBeGUoIm4HrgWNBsSMH-d_b27vmbbkkw6mQ,14820
hermax/encoder/pbamo.py,sha256=rnCNu2KLEo8I5E-VAVIEL3h7fHX3OQ9YEvRJeNbYfdo,28589
hermax/encoder/pb_enc.py,sha256=SASFpumMcRzM5vIzr91gW31an5xxICO1r55qLptvehM,16814
hermax/encoder/__init__.py,sha256=56ZdvRqvadlM_Zi6VRSYe7iLIScEAeRJUzbvgyiMMJE,313
hermax/encoder/__pycache__/card.cpython-313.pyc,sha256=5avRqvVVfFKJJGtnYrGFmtKqCGBZtdDojENg_g0G6M0,30442
hermax/encoder/__pycache__/pb.cpython-313.pyc,sha256=dduaQo7JJiPp6utIFHHmVdnOlCRx-2bb4K5vkfhxpg4,11532
hermax/encoder/__pycache__/pbamo.cpython-313.pyc,sha256=bI7rvcuosL8onefg0-L05WOSeJUO-TiwzqQJUyx2emU,35281
hermax/encoder/__pycache__/pb_enc.cpython-313.pyc,sha256=158ZSEa820iqYELakdSkGuapImg8DVE_W0VuvubHxmg,15935
hermax/encoder/__pycache__/__init__.cpython-313.pyc,sha256=3Pp8QUUEwMWpMLLEWEy1kblQlsvMe9pwKTMcC27zEnI,496
hermax/incremental/__init__.py,sha256=xpgyBG1yPima-tw6EWCG4exv1BE88hmhliKQtmeIIpE,2907
hermax/internal/card.py,sha256=u6SHF8CzQafZc9RPw90uFbi1cieUAj0jt0Lc4b2SPo8,154
hermax/internal/kmerge.py,sha256=SwKdnEAC1AtVYKb0gKL-0DYp21ls8QPHw6M7pPQSz58,20985
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/pysat_execution.py,sha256=-frWI-_20YgtUJoKFss-cJKofDX2gREXM2M__tSRtU8,1118
hermax/internal/sat_replay.py,sha256=6WBh1gNEMO_iudIPyekjqU1T0UgxwrpiqX0hdKQkhas,2638
hermax/internal/solver_worker_main.py,sha256=1VNG6TnrtW82ND7jy0rJ4emlGPJkern3kRCZBQlGJM8,4837
hermax/internal/subprocess_oneshot.py,sha256=EXTNLs44WZ9FmoYgw-XjPYdPgqeAStBmu8hKR9mv7NA,5054
hermax/internal/_pbamo.cp313-win_amd64.pyd,sha256=XScpHy5QP9HyZOsC5rsRWjqfDLdQKAVDIKirzSMD-5c,118272
hermax/internal/_pblib.cp313-win_amd64.pyd,sha256=ychuWlu4ooScYCr2PsQVmaoe-gC9a2j-6y7W5_Thww4,194560
hermax/internal/__init__.py,sha256=ISZyNnO6kbfbSTu8HIaqtPSH5m18Jdg5UCj1W6DNh5I,452
hermax/internal/__pycache__/kmerge.cpython-313.pyc,sha256=u2BSSqBhVWWsNUXa1U_arcM7MRPCryUZqqdNX3oISHc,27842
hermax/internal/__pycache__/model_check.cpython-313.pyc,sha256=MUvQSojs8Ug37fiNpGBlrrBdb7uxmw1znjxSEEd3GlU,4747
hermax/internal/__pycache__/__init__.cpython-313.pyc,sha256=NvPGGNCi0UyGb4oBTgdAgdnLTOoX7hooxYKZPp9Wf48,505
hermax/model/core.py,sha256=iZ-yDx8JDTzqxXUD0cWKjgz_3YUEPQ7jZkGKAMpefIg,148446
hermax/model/encoders.py,sha256=i4NFHBnBlYqqYqH-Tz25Uejx20oLBfoRoNpaa7I5Fhc,78026
hermax/model/expressions.py,sha256=RT4U342OP5jnr-xaZ6znQlbr8kvW-q0HFOq9d2oT3NE,60253
hermax/model/variables.py,sha256=cXZHSzziUvmYKYdckg_h7CbeAXQm_kSqEgZVXgU1kHE,96833
hermax/model/__init__.py,sha256=KCTeDQ-p5szWScxYd10UUYSwtoBr3wN_CktBwoCW4NU,1227
hermax/non_incremental/__init__.py,sha256=farYNQ97hNxdsk4OBysAWksCOZ_yKO426sn89mZhrtc,3995
hermax/non_incremental/incomplete/__init__.py,sha256=SsS6eOx0MAZ8PX3y6KC0N8TgsdG9Tqm6BK5qJ3YPHhA,726
hermax/portfolio/solver.py,sha256=CeYxHNBTaJ_gcXsU5Ol7Wt9rkwUW2_bWCXm1ydfeE2g,42960
hermax/portfolio/_test_solvers.py,sha256=dyNE3NmrPK0kwZwb1caHv6DVPD45hM1vV3cVfNJyvq0,2401
hermax/portfolio/__init__.py,sha256=35L_PGXsChkIi2Il-ttyNN6n5Q0JTAwaZ-fhjStd_WE,469
hermax/__pycache__/__init__.cpython-313.pyc,sha256=1weRMHl7jrYtKlYqOnXqNckDi1-mBkkk_L-wIse0rDM,1235
hermax-1.2.5.data/platlib/libgcc_s_seh-1-5065e26781f132e68674650f285ae0b9.dll,sha256=3lh9ikQkd-2YPcP92nDjML62TF9n1TcKmAkw5AjcZFw,151732
hermax-1.2.5.data/platlib/libgmp-10-37248cda33845e7c5c35a574e57da762.dll,sha256=NySM2jOEXnxcNaV05X2nYt0KgmjwJw0XnzCjN0aAloE,679747
hermax-1.2.5.data/platlib/libstdc++-6-d3dd648b1edfc2a51797807592242582.dll,sha256=w0NA_2EV8M8IOD1NU1R32f7zfwUhZFCaztPQub5e2hQ,2667040
hermax-1.2.5.data/platlib/libwinpthread-1-199474f4885374778124211409eb94f5.dll,sha256=GZR09IhTdHeBJCEUCeuU9VwBKldxgxb4bv1U9M-9jyA,64931
hermax-1.2.5.data/platlib/msvcp140-a4c2229bdc2a2a630acdc095b4d86008.dll,sha256=pMIim9wqKmMKzcCVtNhgCOXD47x3cxdDVPPaT1vrnN4,575056
hermax-1.2.5.data/platlib/zlib1-93e9243a44c29200eeacaf9658efe255.dll,sha256=k-kkOkTCkgDurK-WWO_iVYWBdw5LEcpLUA4Y5CSm47U,128488
hermax-1.2.5.dist-info/DELVEWHEEL,sha256=3gXIGErUoet6jg5jAUvxlghAfPL8a5juBkEGfbSo2KM,447
hermax-1.2.5.dist-info/METADATA,sha256=Kkq53o2qIFWFFdQr79ERP63fkQDFyxHP6GSN08ECVtg,6589
hermax-1.2.5.dist-info/RECORD,,
hermax-1.2.5.dist-info/top_level.txt,sha256=_LIohRbiPkcpT2Sndl4DYwMUgJDLpGZFsqeZ8QVtoFQ,21
hermax-1.2.5.dist-info/WHEEL,sha256=AP_wkikJcUkDPUGvTNydv7g0R7BhW1u_fVHNKW7TJyI,101
hermax-1.2.5.dist-info/licenses/LICENSE,sha256=Lyi3JX7HdaHrF8FwWIwbxBHyyAkJbuja3bw8BCb_WQg,10351
hermax-1.2.5.dist-info/licenses/NOTICE,sha256=RhPGGb_gFmYhAox2q5Xnh1dBBkVfcuuZCp48TRh8Hek,1936
