hermax_pycard.cp312-win_amd64.pyd,sha256=vbhPuw64ewfneNabZdcSVRqtlSo9j_w_kpfiOtCDeUY,65536
hermax/model.py,sha256=6fCjHPjiQzZcC_ggo6xDB_1hxM_H2UiB8KWwWE4zSeg,257899
hermax/utils.py,sha256=1QX4Y6_7xCCDu3SzA4C-vPY2IpH73deQC-ykQRZxBF0,9247
hermax/__init__.py,sha256=GMXIM7Vxp1dUmuVxdxQg0_yirI7YAqs_gPz1kK2kX1A,872
hermax/core/cashwmaxsat.cp312-win_amd64.pyd,sha256=aEAMdldmo6dphBz-r5oUzLWCLinZB2Z3PavB74yHXjI,1517568
hermax/core/evalmaxsat_incr.cp312-win_amd64.pyd,sha256=RI7bCIYSTbGa1qlGz_GKgyQCY-tLjM54DJfsgvXGx1w,1057792
hermax/core/evalmaxsat_latest.cp312-win_amd64.pyd,sha256=ioDLUx1uokFTy0KLDKXmteAVUYhUGBOKMFOJEipPMEg,1109504
hermax/core/ipamir_solver_interface.py,sha256=WhArLgt5FA3YxBRK1X4hFGM0CMGMWlmuOFxRetFKOSI,7844
hermax/core/loandra.cp312-win_amd64.pyd,sha256=MjKIeAJP08WGJTUp6VmNCz1HTiTpxLKzhc_wVgQLx_I,1162674
hermax/core/nuwls_c_ibr.cp312-win_amd64.pyd,sha256=uJ6fUfsO7e7gmiOAOY_KeY9b9IqhftxDh7SB2RnlmUY,1387613
hermax/core/openwbo.cp312-win_amd64.pyd,sha256=u1-8nkp0HAdlp1EbNIQvYG7az6tMj-rCp3mmSmZRrN8,1226660
hermax/core/openwbo_inc.cp312-win_amd64.pyd,sha256=_mBnoFwdwSk0DggUE2jk_FAFgQencyZ5qaxNqvpLLf0,1287277
hermax/core/solvers.py,sha256=TlnP9nCpya8durdIPPkMb-DgfsY5JnA57X_enQvraks,448
hermax/core/spb_maxsat_c_fps.cp312-win_amd64.pyd,sha256=zimMzijzfCLOJcj9dht1JQ-hGzlR9JmpNIUhmLIMUYs,1395491
hermax/core/urmaxsat_comp_py.cp312-win_amd64.pyd,sha256=B3kRpj4eeOpM-WDLJ75JG1KxFPKvKRZpFfOam07i0PE,636416
hermax/core/urmaxsat_py.cp312-win_amd64.pyd,sha256=4msucdHmP9aHg7oFjR1cglznK1l1n9mwvPq6H_pmDS8,1577472
hermax/core/utils.py,sha256=G5lhG-N5VPxY7Kq0w4P3ad6WDLBW-MbFA4b1nYxDasQ,1678
hermax/core/wmaxcdcl.cp312-win_amd64.pyd,sha256=GHIsVDzvBe8-It26p3LPx3CkdEDS77KClRz83qMEbqw,524288
hermax/core/__init__.py,sha256=6qjC0vw5RPcODsgPMNagDvcxqfIsdr2MsUsoO0sCN_g,3079
hermax/core/cashwmaxsat_py/cashwmaxsat_solver.py,sha256=WT0D2LUK5vzns4-CuBX35sKI9oh5QR2H-qfAVW-adzo,8904
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=tSi2bviLGqamFvOxz8eGKYxmfo37ktT__WsmUMqdFhY,135
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=PPFHjnNiSsdv_oluKEOTCtKHus1rZ8dXdOcUkWL0Mjg,13491
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=m_TG3nwH6CqzZm5wCrZX-nSew7SIXZboiUqQG_TlX9c,11550
hermax/core/openwbo_py/__init__.py,sha256=oqoMv2QSwHiXLGiDlkAGGvmentnvKEWJ0HpQysXXCSc,72
hermax/core/rc2/rc2.py,sha256=b7A1s8bh-SruH0g2ZrmUSjz2Xu_xV9LTPruptn0rJCk,69945
hermax/core/rc2/rc2_reentrant.py,sha256=wZlqpxfIcVq1KGTGPcOHSzynAC5GJh3UKwnXNaKBLJs,12254
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=YVin_NDSQjSs0glsI0FhThApzZL2vFdCZsAK5V-dWRI,13516
hermax/core/spb_maxsat_c_fps_py/__init__.py,sha256=aLxmxGLWzzTsoeSyxbUvp_leaxnhLse4M8NVDWIJ_2I,236
hermax/core/uwrmaxsat_comp_py/urmaxsat_reentrant.py,sha256=-UGdjM8PXlj3ZpdcGdJ1bY1x1UwXURVKAh08fsdREyM,7620
hermax/core/uwrmaxsat_comp_py/urmaxsat_solver.py,sha256=uS4ljmMSrUSoygn9IGobSETbTFVmn2JoZH8hdbkz6CE,10958
hermax/core/uwrmaxsat_comp_py/__init__.py,sha256=5aAW6OKHSMZAsIKfADdeXX_Obpw6c-97rP0MOmIbpnM,104
hermax/core/uwrmaxsat_py/urmaxsat_solver.py,sha256=sFE-sWcSUEBgsZZlzPDxc9ZbppMNMJaUAPAnEc-mzjQ,9909
hermax/core/uwrmaxsat_py/__init__.py,sha256=QPqUv-K9fcMLemceCLi_FtbGiur14HS0JcRcvzLFDiM,45
hermax/core/wmaxcdcl_py/wmaxcdcl_reentrant.py,sha256=hZ_0eWtEI7ZYb2RffMnKjZNniT-Vsb0v6NGGnqO69ls,393
hermax/core/wmaxcdcl_py/wmaxcdcl_solver.py,sha256=3BmiOltYueaQnyTqCHHek7jJ4qNVtSw8PWay2T0pRFA,8806
hermax/core/wmaxcdcl_py/__init__.py,sha256=_HB2UUFDvaShi5t6z_-rfkXOwXKvpT5fJUkTke4tHN8,198
hermax/incremental/__init__.py,sha256=el0v5johP-70rTdTA5Hz0WLx_FlaTqwOT3GSjt_HkTg,2020
hermax/internal/card.py,sha256=2pGQuOtlOCcgpIb514DahdJFMAOo1yMdmjc2wfRQJxQ,31416
hermax/internal/maxsat_cli_parse.py,sha256=LJMFbtxpgNdtIYTcMYKFVaLSHSQUiDX4Hr9EG9aIexU,2487
hermax/internal/model_check.py,sha256=3TSVYALCtA5ZStJTzBbGAcH1x9I7wYaqJw9k1vbIukE,2420
hermax/internal/pb.py,sha256=BmPoDY9NOYaMPO73Y6YGxNq3_6dAeDz1iV52Hft8oOs,17897
hermax/internal/solver_worker_main.py,sha256=1VNG6TnrtW82ND7jy0rJ4emlGPJkern3kRCZBQlGJM8,4837
hermax/internal/subprocess_oneshot.py,sha256=1qY6jNGqvSUD4k19irnL3MTmjjvsZRoHNaPmQq0zOqw,4426
hermax/internal/_pblib.cp312-win_amd64.pyd,sha256=JsI_uPF1Y11DpUd0w37wEiM1sAJ8UpJGqEb4CIw9tAg,194560
hermax/internal/__init__.py,sha256=ISZyNnO6kbfbSTu8HIaqtPSH5m18Jdg5UCj1W6DNh5I,452
hermax/non_incremental/__init__.py,sha256=rG_PX52Sw3fbu2kLU6Y2ei27ZP2gnzgHKEidwTsAMHM,3172
hermax/non_incremental/incomplete/__init__.py,sha256=pV71kVLLUk7W66pH5t4PuBvpQFOqq8JShuLqf3zdv-Y,623
hermax/portfolio/solver.py,sha256=sqcuzKTlX4n6F77nD5hNwXOw9O1sos5ZKB6VHzInH5w,38599
hermax/portfolio/_test_solvers.py,sha256=XI1wisSKZeMKOnECx6-Fcgpj8fS3qyCbM15URVlKIKc,1769
hermax/portfolio/__init__.py,sha256=LA9NYmNflZzDlPxXscHMxL8m0TVlEPjM1U-LIFGmvN4,465
hermax-1.0.0.data/platlib/libgcc_s_seh-1-8d03a4156359b5b7b9e70a161826a86e.dll,sha256=a8kizUF6VEZcbfWy2iuy9Y-pGYZvFaaOu7XWoDHEdEc,150196
hermax-1.0.0.data/platlib/libgmp-10-37248cda33845e7c5c35a574e57da762.dll,sha256=NySM2jOEXnxcNaV05X2nYt0KgmjwJw0XnzCjN0aAloE,679747
hermax-1.0.0.data/platlib/libstdc++-6-830d355af905c3fa5adca960eac8c465.dll,sha256=U3JODM-x9_wTSh1xjkgA2nTx06tK_lohUFgScaM2kb0,2462716
hermax-1.0.0.data/platlib/libwinpthread-1-199474f4885374778124211409eb94f5.dll,sha256=GZR09IhTdHeBJCEUCeuU9VwBKldxgxb4bv1U9M-9jyA,64931
hermax-1.0.0.data/platlib/msvcp140-a4c2229bdc2a2a630acdc095b4d86008.dll,sha256=pMIim9wqKmMKzcCVtNhgCOXD47x3cxdDVPPaT1vrnN4,575056
hermax-1.0.0.data/platlib/zlib1-93e9243a44c29200eeacaf9658efe255.dll,sha256=k-kkOkTCkgDurK-WWO_iVYWBdw5LEcpLUA4Y5CSm47U,128488
hermax-1.0.0.dist-info/DELVEWHEEL,sha256=apHRu06o61_n26kCrlE8iSNNDb2MORcJsdTrVQTEpNY,447
hermax-1.0.0.dist-info/METADATA,sha256=KyBOaNekkcyG4gFby_PYrWoyhY9a2NmttgX-Udc3DuE,4457
hermax-1.0.0.dist-info/RECORD,,
hermax-1.0.0.dist-info/top_level.txt,sha256=_LIohRbiPkcpT2Sndl4DYwMUgJDLpGZFsqeZ8QVtoFQ,21
hermax-1.0.0.dist-info/WHEEL,sha256=-GHpayM8oxmVQ6lwBZOCUBihymZgdGGr6p98RT74444,101
hermax-1.0.0.dist-info/licenses/LICENSE,sha256=Lyi3JX7HdaHrF8FwWIwbxBHyyAkJbuja3bw8BCb_WQg,10351
hermax-1.0.0.dist-info/licenses/NOTICE,sha256=ljcwLhNm8NugqD3XO9K7qDRO8qPXdhqLfhV948TvF4Q,1311
pymaxsat/cashwmaxsat.cp312-win_amd64.pyd,sha256=-h6Wj8DRT2GE7VmpSb5NmDExbc0g9oPL4w_ZCIS3SZ4,1502720
pymaxsat/evalmaxsat_incr.cp312-win_amd64.pyd,sha256=-30WgIWn4V356KbSpJdgvzpbDHV9mT7IPEVNYjsEbEQ,1043456
pymaxsat/evalmaxsat_latest.cp312-win_amd64.pyd,sha256=j2JK3BT7d2JULZuPLZ9FeIbbra5zFINVlp243SpgLiY,1094144
pymaxsat/eval_py.cp312-win_amd64.pyd,sha256=ZSkRz8kAj60GKWTrO4oxM0DYbWCKZ8x9g0Jd2bhuzFg,1728607
pymaxsat/ipamir_solver_interface.py,sha256=UHGAKah5HstM3LEGwCqbmGlC2Rd82-cplgCG2lUIiFA,6355
pymaxsat/openwbo.cp312-win_amd64.pyd,sha256=FoPMuvUuE_YUPm22xIARfP6tCBma1Hr__4m5wqyIdM0,1204044
pymaxsat/openwbo_inc.cp312-win_amd64.pyd,sha256=0x8SbkFizHteNsR48Ug3WUNPYz_79O7u9VUMd-LWXqM,1258231
pymaxsat/solvers.py,sha256=sAM_moJuUgzZZGTKuM4I3wAIRTZSFyfy4_Qz6l-9374,611
pymaxsat/urmaxsat_comp_py.cp312-win_amd64.pyd,sha256=rKj2iuTELAevoEXgko3SnGgJU-sJCAge7dx9m65x1s8,622592
pymaxsat/urmaxsat_py.cp312-win_amd64.pyd,sha256=VQjTWlmiQvoDQTNIqBvS2V0CFK6H0_JUN4W3YdMdqa4,1563136
pymaxsat/__init__.py,sha256=sN1RH2LfdNllLw5yYfyIG7Jyxj95THmbaZ6nZaQ6jkE,668
pymaxsat/cashwmaxsat_py/cashwmaxsat_solver.py,sha256=lCjeebqeeBZn8hVWwv_W8fPz1pZ8-HvO4iLE4uITmXU,7551
pymaxsat/cashwmaxsat_py/__init__.py,sha256=VHeCxNtrLSf6byT2RsFMR6hpERK_CbK9rmq8iogNYbQ,188
pymaxsat/evalmaxsat_incr_py/evalmaxsat_solver.py,sha256=wMUrbrivWWWJN2p_s-cBE-ZRJzs2frQXe2sY0-PBZ78,5805
pymaxsat/evalmaxsat_incr_py/__init__.py,sha256=TXsatw_j43ecMi4YEjBMhnJQoY1Gyj1tFPkzIJEYUcU,140
pymaxsat/evalmaxsat_latest_py/evalmaxsat_reentrant.py,sha256=pF1naUVll9fzzKugiPjrHd1HFOBjaaju8lXGqQ5kzrU,9100
pymaxsat/evalmaxsat_latest_py/evalmaxsat_solver.py,sha256=Vyp1n6LNP4vbj-FYorbbPzLQcJEcc7ZZbKFRAPmiyqs,6482
pymaxsat/evalmaxsat_latest_py/__init__.py,sha256=JIhSdvQNDQgbBxxA8_c9oOnZtvCLb_gr6j_c7yYa5fo,201
pymaxsat/evalmaxsat_py/evalmaxsat_solver.py,sha256=rxZWmaKKMqdbdPWVbfBKgb4JI313hQhxWtIb1Qd-nDg,7670
pymaxsat/evalmaxsat_py/__init__.py,sha256=-JNpBss95Iy3AuuEj0CCXS_xnKXIf5UKiXgVyMpedY8,49
pymaxsat/imaxhs_wrapper_py/imaxhs_solver.py,sha256=TIIzogZb8HrHtDqFyiWFbs387y69JvQitYdpSjMRaYI,10960
pymaxsat/imaxhs_wrapper_py/__init__.py,sha256=nBXkYQZoRJjn21-L6FZzkM7VqaT0ruzLuwuTtAjIcuw,41
pymaxsat/maxhs_wrapper_py/maxhs_solver.py,sha256=DUVRnh02e2v3zJ9tWSKpjYZ4oavgjFt1NOMxkXTt8PA,9096
pymaxsat/maxhs_wrapper_py/__init__.py,sha256=KSI0rrbHYyzbaetaLoKINSTG_-zlIQm2aCNvIfnydqI,37
pymaxsat/openwbo_inc_py/openwbo_inc_solver.py,sha256=UGRgX0yrd9gdHfgktqKjkWMpweob58CpXPMS6KISE0Y,3784
pymaxsat/openwbo_inc_py/__init__.py,sha256=jAsYBbiDi8uNgJkz7ERoza7ZzUsRgnH6Sxlig0dO0xU,50
pymaxsat/openwbo_py/openwbo_solver.py,sha256=hOSgtxzFp0X5ymkDip3JyuMJbsFtw2v2R9LmW1vwCkU,10918
pymaxsat/openwbo_py/__init__.py,sha256=oqoMv2QSwHiXLGiDlkAGGvmentnvKEWJ0HpQysXXCSc,72
pymaxsat/rc2/rc2.py,sha256=ei8JieOHhnPac3CfOodHp4RJ4ysItf0Ly5O6HWPBnj4,69400
pymaxsat/rc2/rc2_fork.py,sha256=FqPuGqxE_AkHWnRT4RgIRB5B2Y4XFsfLckWcfBlbEfI,56007
pymaxsat/rc2/rc2_reentrant.py,sha256=-kpi9RxQKGm5jKSoR5h-ekYKSy67VeVf0JFlVa2Ht6M,11851
pymaxsat/rc2/__init__.py,sha256=3L9dz5s8Y9agcliaMKf2Xu7zuGOKbED82xwcLt5Rgv0,77
pymaxsat/uwrmaxsat_comp_py/urmaxsat_reentrant.py,sha256=v7d6ZNzVqp-WZAJKBipCGEMAcB-r-6o5bZaL9HhtW44,7365
pymaxsat/uwrmaxsat_comp_py/urmaxsat_solver.py,sha256=kyOhgKVB6Bg-D116R65K4VQF_s-LX5qao7FqrCAqrY8,8750
pymaxsat/uwrmaxsat_comp_py/__init__.py,sha256=vZXdEX-sLJybGIDcKo6aUblTc7SynlQHowKB2xGMLBw,104
pymaxsat/uwrmaxsat_py/urmaxsat_solver.py,sha256=grtjaQAMq06PeGNZ5bGudgKTFEyanxtL6Lt3iG7uoSI,8696
pymaxsat/uwrmaxsat_py/__init__.py,sha256=3rTlFoQ2bx8S0JmlnL7FF0NGLPlsE4Qe1Vr3elAVXKM,44
tests/test_evalmaxsat_incr.py,sha256=i8lhb4CeXeKvuej8mek81Cy56k3nOef5nPd3YWqxgXk,1489
tests/__init__.py,sha256=dXMAjHjVT4i8ymHeU6GfdwFSQ56Av9DcfKPTdu3VZ9c,316
