paramita/defaults.py,sha256=eRyPKlhGTgP5YyUPe8_Dzx8eZSFvR-N3kBJwi9TCLWQ,191
paramita/_default_plugins/maxsat-solvers/libmaxsat-solvers-uwrmaxsat.so,sha256=KhF7Zypt005Nnzlt9LO_u25M5fb56hgmpI8pAw2XN9I,2418824
paramita/_default_plugins/maxsat-solvers/libmaxsat-solvers-wmaxcdcl-mse24.so,sha256=qnrQMCznEicrRNU9L4ZVZ8XK8bOg75LO11vxuzVOvzk,2728256
paramita/_default_plugins/non-incr-sat-solvers/libsat-solvers-kissat-311.so,sha256=7o3ZDDWA0vK03YjzFkO15IPaia7O3uTAdqgXDBwBt_o,462848
paramita/_default_plugins/pb-to-cnf-encoders/libadder.so,sha256=jeq869xvgtH9_pjYC_-PwT5ojtwwJQbcT8KZhOLKGHw,530592
paramita/_default_plugins/pb-to-cnf-encoders/libbdd.so,sha256=6awIYLxh5EH_ekE8HQKqn-AAVtvzn4GdQzKlh700guA,534920
paramita/_default_plugins/pb-to-cnf-encoders/libbest.so,sha256=GZMDGb2OlnfvoGvLkwiPrAmykQntxJhbMUSWdhLLZRI,534936
paramita/_default_plugins/pb-to-cnf-encoders/libbimander.so,sha256=udGFNwSZaYVIKjZieUa1KrExyhUa_5nSJotfe3Vmfa8,530624
paramita/_default_plugins/pb-to-cnf-encoders/libbinary.so,sha256=1CK2BLtagNQ_KRDo3VKgPZ3yBAZbooOuUBlM3VZlxPQ,530600
paramita/_default_plugins/pb-to-cnf-encoders/libbinary_merge.so,sha256=AYEB9b6V4u0Q8W1hxC46NOLunk9PP7KgCrjrCv__KdY,530648
paramita/_default_plugins/pb-to-cnf-encoders/libcard.so,sha256=DymsVNw-hcLqNCwBJtOHIWAlXKdsMCnOKCggshtsrrc,535032
paramita/_default_plugins/pb-to-cnf-encoders/libcommander.so,sha256=y21JGjVKwz9cJRjf1qOverXEIva5cPSJRIPyS3aFpdk,530632
paramita/_default_plugins/pb-to-cnf-encoders/libincr_adder.so,sha256=TvrJE99FrpHL8RT3mi6KxLJ2n4fUHzJV9NjDxwtWLro,548696
paramita/_default_plugins/pb-to-cnf-encoders/libincr_card.so,sha256=N1S8MkF86ekQGJAXnijbgbXeRXC3lKbHWhrHCXTNHEQ,552720
paramita/_default_plugins/pb-to-cnf-encoders/libincr_swc.so,sha256=CsGa7sXN1Sl1eEi3_aQ9DeFDsvDED_zXuODy2NbfhNg,552704
paramita/_default_plugins/pb-to-cnf-encoders/libkproduct.so,sha256=m0kPcXnRPqnPVC31RzpWpuKHSU1Dxpg72FP3KoqyM94,530624
paramita/_default_plugins/pb-to-cnf-encoders/libnested.so,sha256=iOecN57Z-YkHuPeU4ZZHMzZDA7FkfIO_pjX-rBrcxlw,530600
paramita/_default_plugins/pb-to-cnf-encoders/libpairwise.so,sha256=8O6SGiO3V-hYPutzoaGbrvJ-iAHGxJ6SH0_z5V9yO0c,530624
paramita/_default_plugins/pb-to-cnf-encoders/libsortingnetworks.so,sha256=4XPzwD0GFog_4i4JOibhpn7z7Am6VnT5jOTB-6Fitl4,530688
paramita/_default_plugins/pb-to-cnf-encoders/libswc.so,sha256=1Epkq-piy0NWe02z9mZQv7lpfQcZw6fygTs59JsVA74,530576
paramita/_default_plugins/sat-solvers/libsat-solvers-cadical-300.so,sha256=Yh07ku84Kq29WOOtmrH0l41UskjxKLjM4ZlzRE3Ik3Q,2078832
paramita/_default_plugins/sat-solvers/libsat-solvers-glucose-41.so,sha256=Nz5mfy4ZImQIshZCvrOs9mMc5k_tZFhZPp6DkzjIqM8,155960
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=MEBUtPyGT9QmHTPyFI-mDJRoK3C86TWV1APuCicIlrU,119
paramita_defaults-20261013.dist-info/WHEEL,sha256=dN6pnIsOoUq5ZpCR0_bvtCObNdl8AY_3KkcjZjlwryA,111
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,,
