pyprover9/__init__.py,sha256=UKPZMd-M1jtkHPFakrA-nZ66nJ7P1kZsnJhhhLWr53Q,3143
pyprover9/pyprover9.py,sha256=Ci1zA-ncbxeQWpvn_5H1XroLU7cwO8I-rzV8is_Q0p0,9988
pyprover9/pyprover9old.py,sha256=MX2AYzdGCAARMINcXNHNgsLpK-VhVjnbiaUo0yPWXf8,9840
pyprover9/executables/prover9-MacOS-64,sha256=fOXazpN2ngi4BzWgehfkZKle3E5IMjp86ymE2IGkKbE,489704
pyprover9/executables/prover9-linux-elf-32,sha256=ojMGYeNA-H9xz9eg-06W5jOpkwGGGWZkdw1alNgAkcw,365467
pyprover9/executables/prover9-linux-elf-64,sha256=HtpvN3i3iZPx1H-pWaCv2W6MZsd9x6VSPPwqBBNpLSY,480712
pyprover9/executables/prover9-windows-32.exe,sha256=U3R-EiBrlOO-f5pGQQTTi1RhrfH_uNBs5K8t5jBj-Aw,401759
pyprover9-0.0.19.dist-info/METADATA,sha256=JhM3ozHXsh8vwUQcR4LxLebTao5D8KUWsdMq-w5JViw,743
pyprover9-0.0.19.dist-info/WHEEL,sha256=QccIxa26bgl1E6uMy58deGWi-0aeIkkangHcxk2kWfw,87
pyprover9-0.0.19.dist-info/RECORD,,
