cvc5/cvc5_python_base.cp39-win_arm64.pyd,sha256=_pR-nDf99-3rEcXAVR62q4St6GGCUaK-KBLhLUt-5mg,1228288
cvc5/__init__.py,sha256=xHI0flxg-lHxkLhwtX-dy9OUrmQ0hiwyLwKKH_p0LPE,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.3.dist-info/DELVEWHEEL,sha256=5XyK4_EBJ5zMT_qX2sGN5zBKl-nrZReWdubi_tyjR5I,474
cvc5-1.3.3.dist-info/METADATA,sha256=Vo4IzKppXo_jft5WgQjfEHsDM8TmsjDNmYhzzS5a5qE,777
cvc5-1.3.3.dist-info/RECORD,,
cvc5-1.3.3.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-1.3.3.dist-info/WHEEL,sha256=c8_xDFSwW-IklaozKu9UyYHULf4uC4mCJUvs11ydfPc,99
cvc5-1.3.3.dist-info/licenses/COPYING,sha256=MMzwlmQxCOk_FgFi-LU3jOMWxQx-W_pk6fu_l-tcGHg,6334
cvc5-1.3.3.dist-info/licenses/licenses/apache-2.0-with-llvm-exceptions.txt,sha256=p94ZEzjTKCV-zsW6Hqlx69Z2M9C0_OfWJyo5dJVH7Gs,17014
cvc5-1.3.3.dist-info/licenses/licenses/GCC-exception-3.1.txt,sha256=kAd7owbunY7ZZsqxtKvWm25yis8Id3KDzFAoPNlQP6Y,3397
cvc5-1.3.3.dist-info/licenses/licenses/gpl-3.0.txt,sha256=IwGE9guuL-ryRPEKi6wFPI_zOhg7zDZbTYuHbSt_SAk,35823
cvc5-1.3.3.dist-info/licenses/licenses/lgpl-3.0.txt,sha256=fTqV5eBpeAZO0_jit8j4Ref9ikBSlHJ8xwj5TLg7gFk,7817
cvc5-1.3.3.dist-info/licenses/licenses/minisat-LICENSE,sha256=9pteHVdQ5rBPYYoZifu8_aOeDN-ZzerXVa22YbGmwvk,1163
cvc5-1.3.3.dist-info/licenses/licenses/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5.libs/.load-order-cvc5-1.3.3,sha256=oUB84fuSOM-XAXRsfoMkk3DIBdEtE-qzXg8H8saU7Ao,232
cvc5.libs/libc++-e8dc4d1402afeb27828bd682573db9a9.dll,sha256=6NxNFAKv6yeCi9aCVz25qQ4GlSgBw6SjkX5KviIXTJ8,1618944
cvc5.libs/libcvc5-0fe14e2c6549e80ad56affc4ce04fb7e.dll,sha256=FDQVwXvB3zAA8RIWw2HiP2xjQ34_V4jiowagi-v_3Pk,25835520
cvc5.libs/libcvc5parser-074da838ffc1e6a70370e3adc9e14f3f.dll,sha256=_ghZcFbWCat1IBteC-CNPbYrBv85Pa3zxO2ykOhzilU,859136
cvc5.libs/libpoly-fe29ba6c6320a983ce59a0e1388698a3.dll,sha256=_im6bGMgqYPOWaDhOIaYo9kFMHJSzhupVTDQ3374Vh4,738304
cvc5.libs/libpolyxx-31b8a4b2f68c1269b1df95d4c45dc1ea.dll,sha256=UC96vR5qvf1UrlyeZaz1NzLrCmxr9uTZioUJzPYuJX8,329216
