_autosat_tseytin.cpython-37m-x86_64-linux-gnu.so,sha256=fO79yWUvjzI1Uu4F8AT9AKEngqMyqGFPPy1c7qDptsA,2768632
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=Tc71-kipv70x3UUdKAWR5WF4VgRrQ_XEu6SkY16H6gk,150
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
