_autosat_tseytin.cpython-39-x86_64-linux-gnu.so,sha256=ohQ18WA10oQ1ij0le4lgqhsqAN0vR0WJ8LFzSbEXX3k,2830064
autosat-0.0.0.dist-info/LICENSE,sha256=cXloPoAA5r3Ju8YNhe3wpKyOdvlRhX9U_Ld11YhvEwk,7049
autosat-0.0.0.dist-info/RECORD,,
autosat-0.0.0.dist-info/WHEEL,sha256=a60ds3Ma82hx_sQpOqkP7xcMHCqlDvAwFM7jtmOVcmY,148
autosat-0.0.0.dist-info/METADATA,sha256=UpdqvyJnzEy1gFSLHYZydMIGJnv0PSlp6K4ZzvIR2p0,607
autosat-0.0.0.dist-info/top_level.txt,sha256=DFQsMNieXBO8aJrR5y0o_wnZbYxlH30aNO6f6Z4Z2XI,25
autosat/autosat_tseytin.py,sha256=Vc8qQoSpK7K7GjyXID081bMtLyq3aTWfKFSb7Kt4oiA,11749
autosat/__init__.py,sha256=sHTms1Zkyyer8wojazc1qNFyeMV7uPqwSM6Rg9vghXM,14897
