cvc5/cvc5_python_base.cp313-win_amd64.pyd,sha256=OeA9e_TeJTpp9i-SoqKp6qLAjn2F7QJU5XzdWRnRdc0,1182208
cvc5/__init__.py,sha256=nlYDBLn3TmbCF4PnNA0Bl2MZxUdDoTyxXG9OhtF9Wi4,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.2.dist-info/DELVEWHEEL,sha256=LczVf1xSzOk_qvQ_ctAWHJYrRrXUOoNKbfDcCTrdcYo,476
cvc5-1.3.2.dist-info/METADATA,sha256=6R3tzwqaKckqpcrsZ-VzbjpxiokcsnADgPK1NLwiLbg,777
cvc5-1.3.2.dist-info/RECORD,,
cvc5-1.3.2.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-1.3.2.dist-info/WHEEL,sha256=qV0EIPljj1XC_vuSatRWjn02nZIz3N1t8jsZz7HBr2U,101
cvc5-1.3.2.dist-info/licenses/COPYING,sha256=MMzwlmQxCOk_FgFi-LU3jOMWxQx-W_pk6fu_l-tcGHg,6334
cvc5-1.3.2.dist-info/licenses/licenses/apache-2.0-with-llvm-exceptions.txt,sha256=p94ZEzjTKCV-zsW6Hqlx69Z2M9C0_OfWJyo5dJVH7Gs,17014
cvc5-1.3.2.dist-info/licenses/licenses/GCC-exception-3.1.txt,sha256=kAd7owbunY7ZZsqxtKvWm25yis8Id3KDzFAoPNlQP6Y,3397
cvc5-1.3.2.dist-info/licenses/licenses/gpl-3.0.txt,sha256=IwGE9guuL-ryRPEKi6wFPI_zOhg7zDZbTYuHbSt_SAk,35823
cvc5-1.3.2.dist-info/licenses/licenses/lgpl-3.0.txt,sha256=fTqV5eBpeAZO0_jit8j4Ref9ikBSlHJ8xwj5TLg7gFk,7817
cvc5-1.3.2.dist-info/licenses/licenses/minisat-LICENSE,sha256=9pteHVdQ5rBPYYoZifu8_aOeDN-ZzerXVa22YbGmwvk,1163
cvc5-1.3.2.dist-info/licenses/licenses/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5.libs/libc++-b7766c9ea815f805f6481bd494f52e67.dll,sha256=t3ZsnqgV-AX2SBvUlPUuZ5NwFWRmkf-bUFObrnmTmqU,1636864
cvc5.libs/libcvc5-66d08a0e2382e5a6f1eabe0621d8e152.dll,sha256=LdlXPcfhSezKhZaI8iS96otAXH1NdEhFyLPrSfBwu2I,29294592
cvc5.libs/libcvc5parser-ed88b537b2ecd658a2bf3a5e993e6160.dll,sha256=JXM3O2W1lkz13_7XzRWeQWAoZwmhHFzCnhuTKF0GN6c,915968
cvc5.libs/libpoly-d3d74151fd3ce05d7bb3694251e2db8e.dll,sha256=09dBUf084F17s2lCUeLbjsMiPbTqZfTQRADoKGw90iY,934400
cvc5.libs/libpolyxx-b1a9464c4b57b1693685291107f907fa.dll,sha256=YxFuJjSl3NMO4fB37r2-RK76zPcAzmYLTJuLbmA_VjQ,333312
