cvc5/cvc5_python_base.cp313-win_amd64.pyd,sha256=ZjIPsN_6nxoDUDZ7xpEuDixv3yjVJEzoqcm9AOwcgOs,1183744
cvc5/__init__.py,sha256=lYk_pZbvS_BskR_QiasgG_i7z4IOQW8czN_i3cecP8I,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.3.dist-info/DELVEWHEEL,sha256=NdzeRUzaP9Ea2qo8qH53sFDXvvi8yg48Nx7MmHbHzT0,476
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=Xr-hSQu17ZxKorLWItir4Mz0GplQpPFz9u2i9sztbpM,101
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/libc++-db2bc7d222384910ddddd1197512d110.dll,sha256=2yvH0iI4SRDd3dEZdRLREMDhJ53mfaWw5FYBZfIBGgo,1653248
cvc5.libs/libcvc5-9f794a402468fda55fd0cdd71fe52922.dll,sha256=Mo30crv_eiJ2BIj5Hr9LCihq6p5X0CZ8Ts0aZWdd_Is,28158464
cvc5.libs/libcvc5parser-6573bba0431d441c0589858e077637ae.dll,sha256=OVnxAQ9dWzRDvi_AH35enpZ3ZM18GIAKRdz6mglcMQo,880128
cvc5.libs/libpoly-5cee65ab5142a8ae0aecce7938e2fc1e.dll,sha256=XO5lq1FCqK4K7M55OOL8HveIrP9godJZgY6rZBZylxM,932864
cvc5.libs/libpolyxx-62b730676c3a9b7c0e8748c96c0d28f9.dll,sha256=r4eDPSUi7rNJjc0Th4GimyqFMEJs3kLHPgSMTjSzVNw,338432
