cvc5/cvc5_python_base.cp38-win_amd64.pyd,sha256=hywj7z8BNPDPg6aaozlW0TV_U-l9J2Q-wp6s6kHLvsA,1127424
cvc5/__init__.py,sha256=_ZCWcit7hTJcbBQc1zhngECFqmvIKur775O474fd8vU,1666
cvc5/pythonic/cvc5_pythonic.py,sha256=VEu5o0HQ65yzIEEN3Y21fBDkppVNjkswGQvLxArPbgI,245821
cvc5/pythonic/cvc5_pythonic_printer.py,sha256=zpPW78W5iEduYsTc4nBi19YLZX3N9NEFj7Yxsx4YRLU,42393
cvc5/pythonic/__init__.py,sha256=xYBu7h3ijdCgB-GB30Cdp01E5cwlOFjgjjMREQ9cJSU,29
cvc5-1.3.4.dist-info/apache-2.0-with-llvm-exceptions.txt,sha256=p94ZEzjTKCV-zsW6Hqlx69Z2M9C0_OfWJyo5dJVH7Gs,17014
cvc5-1.3.4.dist-info/COPYING,sha256=zi3hNAOnOILkQ-Rw4PRxlI8ScA2zpEaoAW0d4XJQSCc,6334
cvc5-1.3.4.dist-info/DELVEWHEEL,sha256=gGaxpjKPgkWQZdaYGFulMm3ivwWjirMBRrMp1f3C3hE,471
cvc5-1.3.4.dist-info/GCC-exception-3.1.txt,sha256=kAd7owbunY7ZZsqxtKvWm25yis8Id3KDzFAoPNlQP6Y,3397
cvc5-1.3.4.dist-info/gpl-3.0.txt,sha256=IwGE9guuL-ryRPEKi6wFPI_zOhg7zDZbTYuHbSt_SAk,35823
cvc5-1.3.4.dist-info/lgpl-3.0.txt,sha256=fTqV5eBpeAZO0_jit8j4Ref9ikBSlHJ8xwj5TLg7gFk,7817
cvc5-1.3.4.dist-info/METADATA,sha256=HyiqMBmdyQC4Erz3t6C1WCtpjqs8E_EHCjZhW4u1UB8,754
cvc5-1.3.4.dist-info/minisat-LICENSE,sha256=9pteHVdQ5rBPYYoZifu8_aOeDN-ZzerXVa22YbGmwvk,1163
cvc5-1.3.4.dist-info/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5-1.3.4.dist-info/RECORD,,
cvc5-1.3.4.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-1.3.4.dist-info/WHEEL,sha256=TFndZn0SXD1XqMUEIKDojL47weLF1ldHBOPnF9B_sLo,99
cvc5.libs/.load-order-cvc5-1.3.4,sha256=35UAsXGW9NzGF3o6UcONrPIFcu_Uy3bYzCGsrtyqI1s,232
cvc5.libs/libc++-e08cb4208559ff4dbbd1f1846782a434.dll,sha256=rg5uRBgSYurQJQQ-a2AHOPocHTAKGeB7ySv7KOSKwYc,1653248
cvc5.libs/libcvc5-e7ec1c2439bd580cd9747bc55774ec03.dll,sha256=j_vsg6B_t24dbI8gofsKTByhLo4c3YFhcuVbbT5naLA,28822016
cvc5.libs/libcvc5parser-b5ddcdeb0b6ada86cc3acdca01ed39e1.dll,sha256=_stRc6pY_jPpGG8qd504pni6v1U76oqUXQpUUwGcrFM,881664
cvc5.libs/libpoly-84978568807bd4d63ba296b924142865.dll,sha256=-If9glK7tOMxRhUvBkqf5SxqJtRVBDxBpBEFmkvW7AQ,932864
cvc5.libs/libpolyxx-6fd70caec2836f91d138835b01d28f9d.dll,sha256=IqWd9bdsNPDshMwtCtyRYpD2XESDz4m2L72BJweCaSg,338432
