cvc5/cvc5_python_base.cp311-win_amd64.pyd,sha256=j6S1iRN97uoYsKbrCcmY8ZvjL8_UvyBoaaP6t-O4R8g,1498624
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=55OX8dCTLGssg20Aysl_riBAPdgFSpA_yDctvzQZAwE,476
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=JLOMsP7F5qtkAkINx5UnzbFguf8CqZeraV8o04b0I8I,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/libcvc5-110bbc6d0348af65c8785a563dbf85dc.dll,sha256=JcAM6k4metyQ5LIJgy0YIdVT3Zdo9uZSLkVZf1YMCpc,33255917
cvc5.libs/libcvc5parser-e08f5c8cf3fb7a15393c3c0175f6c6a2.dll,sha256=VGA-wewNmxWvCVK4vCprWqac_l380iTocICAj2FRzxI,1204375
cvc5.libs/libgcc_s_seh-1-dc6baf588fa7f4f3e0104f80fd8d4c87.dll,sha256=hO8Jhkm2fz2wnlhree5EsHDYnRBdtz1vaz1-wCJubbY,150196
cvc5.libs/libpoly-6869e756fea606f9f051642bec31ac2f.dll,sha256=aGnnVv6mBvnwUWQr7DGsL80MXRazQ-WSokMHKsPLDPc,1307037
cvc5.libs/libpolyxx-fc4c820629af2d5e4d450d07af7795be.dll,sha256=nAdaSEzzsPa4Sjfji7u-JWEwM2tOOugs9LKT-SEaY0I,389564
cvc5.libs/libstdc++-6-82968e3fa0ee5d7e244ee6bf5f9f2885.dll,sha256=TlLjEV4Wd0t-CqLPnBBAg0InGssqzAU8_3KTbYHrIQ4,2461848
cvc5.libs/libwinpthread-1-3eaccc6167049ce7c080e61834cf5179.dll,sha256=PqzMYWcEnOfAgOYYNM9ReXpalyAC3-ixYhjhOj__LmI,64403
