cvc5/cvc5_python_base.cp313-win_arm64.pyd,sha256=aGSWyYj5IiQJHZh6Bi7MOBkguHeJJ0K8pOz551FnWtQ,1258496
cvc5/__init__.py,sha256=L8sKJjXUSMxgPAOI3_HgzLEjXg8TaxO65jE0HGsluA0,432
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/DELVEWHEEL,sha256=PuRWKUk2Y4p9dbUx89u1Dwvmw1HL482HfRAO4W-xhZ0,479
cvc5-1.3.4.dist-info/METADATA,sha256=T0sWjlY1Dv-7OA-mx1oraOKqJtp8SbvuqfgdHpJZMwI,777
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=YCXXMdO0ZfPPiYfkQGGliFCHl9NyDA4TAgSd2-_rauM,101
cvc5-1.3.4.dist-info/licenses/COPYING,sha256=zi3hNAOnOILkQ-Rw4PRxlI8ScA2zpEaoAW0d4XJQSCc,6334
cvc5-1.3.4.dist-info/licenses/licenses/apache-2.0-with-llvm-exceptions.txt,sha256=p94ZEzjTKCV-zsW6Hqlx69Z2M9C0_OfWJyo5dJVH7Gs,17014
cvc5-1.3.4.dist-info/licenses/licenses/GCC-exception-3.1.txt,sha256=kAd7owbunY7ZZsqxtKvWm25yis8Id3KDzFAoPNlQP6Y,3397
cvc5-1.3.4.dist-info/licenses/licenses/gpl-3.0.txt,sha256=IwGE9guuL-ryRPEKi6wFPI_zOhg7zDZbTYuHbSt_SAk,35823
cvc5-1.3.4.dist-info/licenses/licenses/lgpl-3.0.txt,sha256=fTqV5eBpeAZO0_jit8j4Ref9ikBSlHJ8xwj5TLg7gFk,7817
cvc5-1.3.4.dist-info/licenses/licenses/minisat-LICENSE,sha256=9pteHVdQ5rBPYYoZifu8_aOeDN-ZzerXVa22YbGmwvk,1163
cvc5-1.3.4.dist-info/licenses/licenses/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5.libs/libc++-5a3ac6f6a45b30c3a324d06bba3ac988.dll,sha256=WjrG9qRbMMOjJNBrujrJiH7wmEVKmg4X2QhL8L_p2EY,1618944
cvc5.libs/libcvc5-dd8fc76a8aa641f1fa213af1ab422df6.dll,sha256=bREq6me9tf-x6rd0r67f4Zzs5Vz3g5n1SAt86AZda_A,26465792
cvc5.libs/libcvc5parser-00780b53246d7ae74d23d1e8e8a1ce72.dll,sha256=3jz-q5jBBDcazUir4mjJOm8jyj-gI9Ca_YeOTUrNDfs,860672
cvc5.libs/libpoly-b08cd9a3f378a1248411a0d103c4bd2c.dll,sha256=sIzZo_N4oSSEEaDRA8S9LFv4cqjWctSezkX7pFx9I9w,738304
cvc5.libs/libpolyxx-d494683753fba7728792371e85fbbadc.dll,sha256=lzM5HIplgUqRoVWYupG7avqayxYwLgZQElaFXlyAOio,329216
