cvc5/cvc5_python_base.cp314-win_arm64.pyd,sha256=MvAK9uxpVafP609TEahjQRTuUDknQXKqIlOYDv2Uglo,1536000
cvc5/__init__.py,sha256=uaNXDNCboJBHmoQ6Ar_0Ov3jNOU1QZZpZ4Vmm191vDs,432
cvc5/pythonic/cvc5_pythonic.py,sha256=vS8PcIlvBgmusrLOs4ijssOjpW-doxpQWpFOZ-cJMM4,245421
cvc5/pythonic/cvc5_pythonic_printer.py,sha256=zpPW78W5iEduYsTc4nBi19YLZX3N9NEFj7Yxsx4YRLU,42393
cvc5/pythonic/__init__.py,sha256=xYBu7h3ijdCgB-GB30Cdp01E5cwlOFjgjjMREQ9cJSU,29
cvc5-1.3.1.dist-info/DELVEWHEEL,sha256=QKWO_PVHTyHGmnYaXdeHfShzNKIAa1cAUfyPg_bKSl4,479
cvc5-1.3.1.dist-info/METADATA,sha256=he3yxg_Ixx__6J-BNMoqPl38GuuA7gRm_JWrwW_qhwE,761
cvc5-1.3.1.dist-info/RECORD,,
cvc5-1.3.1.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-1.3.1.dist-info/WHEEL,sha256=bMXkUWfr_3hlaRObp_pv9_U0ksvQo0T0Mwq6lQkXaZc,101
cvc5-1.3.1.dist-info/licenses/COPYING,sha256=IVU1ejan_EThBmuvahQ7p1wAIewVu20ZPwl80ctAez8,6144
cvc5-1.3.1.dist-info/licenses/licenses/GCC-exception-3.1.txt,sha256=kAd7owbunY7ZZsqxtKvWm25yis8Id3KDzFAoPNlQP6Y,3397
cvc5-1.3.1.dist-info/licenses/licenses/gpl-3.0.txt,sha256=IwGE9guuL-ryRPEKi6wFPI_zOhg7zDZbTYuHbSt_SAk,35823
cvc5-1.3.1.dist-info/licenses/licenses/lgpl-3.0.txt,sha256=fTqV5eBpeAZO0_jit8j4Ref9ikBSlHJ8xwj5TLg7gFk,7817
cvc5-1.3.1.dist-info/licenses/licenses/minisat-LICENSE,sha256=9pteHVdQ5rBPYYoZifu8_aOeDN-ZzerXVa22YbGmwvk,1163
cvc5-1.3.1.dist-info/licenses/licenses/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5-1.3.1.dist-info/licenses/licenses/winpthreads-LICENSE,sha256=HI0jBjw3crlDWDFBCzG1H-89nPITikQtw2fvXXIjn2c,2940
cvc5.libs/libc++-96f5dd106f4c5b34db3619918b7ab506.dll,sha256=lvXdEG9MWzTbNhmRi3q1BlLlQynAmWrEuGZgw2WjVAo,1604608
cvc5.libs/libcvc5-d3f1ababff50904373bde3cf1555ec16.dll,sha256=R5_NYPq5ELxZrG6TNVaLDUYMG93-m979_uIA8CSO8xE,26016768
cvc5.libs/libcvc5parser-7d245362f38a23aaffbd48ac4b071d03.dll,sha256=sOC3KYXeFhteRSILRTZ-PANzJvz4QZKgN3od0Xpq_Jc,889856
cvc5.libs/libpoly-ce637551e4f32dc866bf272f2ba8fd5d.dll,sha256=zmN1UeTzLchmvycvK6j9Xe7ir1VMV5CbgOOnNVK5x4Y,736768
cvc5.libs/libpolyxx-003bf070bd18303cfa41fdbaca4b1dc0.dll,sha256=oHKmDVWFT-oVU7Hz2LEzPmRCZVK29Z_ZVcfO5eChG3w,324608
