paramita/defaults.py,sha256=eRyPKlhGTgP5YyUPe8_Dzx8eZSFvR-N3kBJwi9TCLWQ,191
paramita/_default_plugins/maxsat-solvers/libmaxsat-solvers-uwrmaxsat.so,sha256=J9OPunO0YWII41txGiUu68IjLXvlPxYMf9kXXf_nNbY,2418952
paramita/_default_plugins/maxsat-solvers/libmaxsat-solvers-wmaxcdcl-mse24.so,sha256=ndTo0wtEZOqS4ILYPINsjYXrIbHfnamIueIjaiWPigE,3671728
paramita/_default_plugins/non-incr-sat-solvers/libsat-solvers-kissat-311.so,sha256=sQA83LcV-suUwEqofZ_7A-Ouo46hPopAQJSH3InsBvE,462848
paramita/_default_plugins/pb-to-cnf-encoders/libadder.so,sha256=yabiHfrr56G2NQugE4jNz30OfhM7hBbpJ3HIeP6GSd0,530760
paramita/_default_plugins/pb-to-cnf-encoders/libbdd.so,sha256=ljSbBNI-S4GukmcKWNWl-ZxCSv3ZPC3Y3h41AHPTVog,535088
paramita/_default_plugins/pb-to-cnf-encoders/libbest.so,sha256=_PBs2ymzfquNdbJbbr3Z2v019ObD9nKvYz25cBs9vIw,535104
paramita/_default_plugins/pb-to-cnf-encoders/libbimander.so,sha256=A9ADsv3-chhx8fiAr8kLx74L-EWX2ZczvQLxh6VHTOc,530792
paramita/_default_plugins/pb-to-cnf-encoders/libbinary.so,sha256=ZfI3GK4a_sZMJzXDi_D7XAVPsnEFt92Ba-_TRhXOhJM,530768
paramita/_default_plugins/pb-to-cnf-encoders/libbinary_merge.so,sha256=DCxJnE-oGXzoMxZPzXbJm-ZjEkL_QdYY_wkzlsB_joc,530816
paramita/_default_plugins/pb-to-cnf-encoders/libcard.so,sha256=FORb3SG7h_ojJfB4oKcP4QnhdjamEZYchBJ7nZRRY4o,535200
paramita/_default_plugins/pb-to-cnf-encoders/libcommander.so,sha256=yc_unW-IvUebXTfI_sTp0tAZMbaZxjPdtRRJP6n09RE,530800
paramita/_default_plugins/pb-to-cnf-encoders/libincr_adder.so,sha256=CiLk5VdWj11k4_QKzdxLpb3FhBPw8fdtCboAIk6ELLg,548864
paramita/_default_plugins/pb-to-cnf-encoders/libincr_card.so,sha256=muFZe3tURtnE1C8-wxAJ1BzhJASUYQx3vhcYOk6Ajj4,552888
paramita/_default_plugins/pb-to-cnf-encoders/libincr_swc.so,sha256=wWGbTNIb2GP8jIHzmlFfSbIbJjx1L2Grz9gXoHtYU1U,552872
paramita/_default_plugins/pb-to-cnf-encoders/libkproduct.so,sha256=95BRccxA4uy3radZNqfppUZnOvOT7tV9NoNAS3aL5e8,530792
paramita/_default_plugins/pb-to-cnf-encoders/libnested.so,sha256=wFWF3X5oADpB5dvE_eYsGG52kGvxZOy7xFNrpgyQR8A,530768
paramita/_default_plugins/pb-to-cnf-encoders/libpairwise.so,sha256=AHlSpPCWbP_R5uQoLKOWExcN7U6Xw9O5OF4HucNXmwc,530792
paramita/_default_plugins/pb-to-cnf-encoders/libsortingnetworks.so,sha256=uyfyfZaPW6VoBeor4C4bnPr7cReGbodUvRSVadIg7vI,530856
paramita/_default_plugins/pb-to-cnf-encoders/libswc.so,sha256=Sa6rxibvyDc6VzZfUOS_R-DtcAcnwFEk-fOxr_n5xMU,530744
paramita/_default_plugins/sat-solvers/libsat-solvers-cadical-300.so,sha256=NhhW0T8i3HxFuKET_rxfSLNLe6Kn7rN0B7f3mgpWeVA,2094424
paramita/_default_plugins/sat-solvers/libsat-solvers-glucose-41.so,sha256=xQVuahDFoCla3Z-LAJF45GD-4k0j1gQHb0yxGA87Aig,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=mOGCilgpTQmDFVww_Q0Lar1N0MIadkC8tqfpAjEJoOc,118
paramita_defaults-20261013.dist-info/WHEEL,sha256=eT95VRyrHTr3CfXywDrIqh8-_THM2wY-MQGS_YX8IVY,152
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,,
