paramita/defaults.py,sha256=eRyPKlhGTgP5YyUPe8_Dzx8eZSFvR-N3kBJwi9TCLWQ,191
paramita/_default_plugins/maxsat-solvers/libmaxsat-solvers-uwrmaxsat.so,sha256=bAU8TvEWQkei0DlopBhT4x2KbhbaEFxZNeRWk7JzqMs,2385544
paramita/_default_plugins/maxsat-solvers/libmaxsat-solvers-wmaxcdcl-mse24.so,sha256=KDlHQM2mXtKy1U1NwNOQW_MOk3snEmwereyWHecBEzY,3854672
paramita/_default_plugins/non-incr-sat-solvers/libsat-solvers-kissat-311.so,sha256=gcRaTBKcAMo7PoSPGQ7Mgwzp-vrWyOSSY8NmnuVlo0w,454776
paramita/_default_plugins/pb-to-cnf-encoders/libadder.so,sha256=IECEBegwpqQNN1DOAwf5PbmhK91ymPZTf_Hk3G32r08,609704
paramita/_default_plugins/pb-to-cnf-encoders/libbdd.so,sha256=pp1sECBiK8XTQEcN50JeR9FEQqOOtoKUx-oEAqL3yi0,614008
paramita/_default_plugins/pb-to-cnf-encoders/libbest.so,sha256=58xFbZ1Nh6K4FiPlxh6i1CX2ZqvqYxqiQ74k6V1xpS8,614040
paramita/_default_plugins/pb-to-cnf-encoders/libbimander.so,sha256=v0eSCJjvatKpcrtZ3mJN2Qn_Zts_Zio5AtxqlmfyGoY,609728
paramita/_default_plugins/pb-to-cnf-encoders/libbinary.so,sha256=cNhoDN4SNJucguGXZDqV1TYXjCACESSh7hNaX9pGqCE,609712
paramita/_default_plugins/pb-to-cnf-encoders/libbinary_merge.so,sha256=Qt0tPdV7la0Aw-YR45H7WDZ-sGhxFxoeXzw_tm-W7zs,609760
paramita/_default_plugins/pb-to-cnf-encoders/libcard.so,sha256=-u_AF9zK8-iOnY1FZ7da_mHP7UEKWGc2nF36w6tbidw,610040
paramita/_default_plugins/pb-to-cnf-encoders/libcommander.so,sha256=JzRevr1wivXBjfMl5C0QE1UfeFVnGB-glUYRO9lLKZg,609736
paramita/_default_plugins/pb-to-cnf-encoders/libincr_adder.so,sha256=lmQ1ScLY8FXgb4bpO9163HgGzFFFsjEXRXhJazvKUBQ,627616
paramita/_default_plugins/pb-to-cnf-encoders/libincr_card.so,sha256=1Bu14TVTXpNLI1WO9a2g9ThCVGFZ4XpUb7915AlXBxo,627600
paramita/_default_plugins/pb-to-cnf-encoders/libincr_swc.so,sha256=RUi8n-2TuXkvUm-9NlcDy1UqLo2_rR0UbEJw3WZp5oU,623496
paramita/_default_plugins/pb-to-cnf-encoders/libkproduct.so,sha256=_WmT693xYob1y4JU8KleydEJvNNH73CM-seNEl4ccG8,609728
paramita/_default_plugins/pb-to-cnf-encoders/libnested.so,sha256=fSyRBwf99SeV8GkoUp61rYHcq69DlzEGrirNyosoP18,609712
paramita/_default_plugins/pb-to-cnf-encoders/libpairwise.so,sha256=bmCFa0LuwvihGlCDOSnEss7G_XaDx_tT4YAWi0j57Hc,609728
paramita/_default_plugins/pb-to-cnf-encoders/libsortingnetworks.so,sha256=pQIYm0AWiEU-Xo97XEFwYePSYctz1aRj5J8ZWrAyeg0,609792
paramita/_default_plugins/pb-to-cnf-encoders/libswc.so,sha256=R2Qmr_mCnkYq7LGG_VN3b5jJxV14HJzTPpggdzGPrS4,609680
paramita/_default_plugins/sat-solvers/libsat-solvers-cadical-300.so,sha256=cdBr-KHRdOHFD6SMsUn2XdMhJUKo_etvFpUOBo2j68w,2092152
paramita/_default_plugins/sat-solvers/libsat-solvers-glucose-41.so,sha256=WAwvAXdHTGUuVfQalYoh7e8DCvdPeBPmVNBnv0k5Hpw,245080
paramita/_default_plugins/share/doc/zlib/zlib/LICENSE,sha256=4y_04A2dlJMFN2NSkdo55-YScDM0v2_ejH8Whv6KRaI,1002
paramita/_default_plugins/share/doc/zlib/zlib/algorithm.txt,sha256=Oyn22d0iOgLsn9FV7pttAef29LJehLGZiCEfygNb-so,9345
paramita/_default_plugins/share/doc/zlib/zlib/crc-doc.1.0.pdf,sha256=Bk-SUtbi4V6lbCvRjhYOXJyEvNE3wRp69JeqpRGs6Zg,776142
paramita/_default_plugins/share/doc/zlib/zlib/rfc1950.txt,sha256=jwR1pcmEZXvyYnf3PflFbJuX8XUITwwXSPHrHwubELk,20502
paramita/_default_plugins/share/doc/zlib/zlib/rfc1951.txt,sha256=Xr9LW3_hw6DAq5qjrIwPOFOn3EhJBeduA7Cw8wE1AAk,36944
paramita/_default_plugins/share/doc/zlib/zlib/rfc1952.txt,sha256=Fk7wiXtMvsY6vxtX8GnzWZvQ-3xywqTe4hvX4D7Jr2c,25037
paramita/_default_plugins/share/doc/zlib/zlib/txtvsbin.txt,sha256=0VSft1E38DECeY9w_TT_dihecX3dUg3YInTBwFEOrPA,5193
paramita/_default_plugins/share/man/man3/zlib.3,sha256=XuvLYanB75H_bI5tN7MlVPXu__glsZCxteWYLzXYdTQ,4482
paramita_defaults-20261013.dist-info/METADATA,sha256=mOGCilgpTQmDFVww_Q0Lar1N0MIadkC8tqfpAjEJoOc,118
paramita_defaults-20261013.dist-info/WHEEL,sha256=PaNWkr7Xg2NoTFoNWH_GkzydqKro_1si3himQuSuSyU,151
paramita_defaults-20261013.dist-info/entry_points.txt,sha256=p2NK2yK6jLq6VbxvjnAgeLXE5e0u_FVn6yEv1gZV0EU,69
paramita_defaults-20261013.dist-info/top_level.txt,sha256=5AEQq1dRzIS2BquqMp6-44RNYUpPmZDUwWlB0QUgID8,9
paramita_defaults-20261013.dist-info/RECORD,,
