cvc5/cvc5_python_base.cp37-win_amd64.pyd,sha256=qbf8CPrSdLPLBXZrnD37xFog7A76qY_cLnfK1JA8cNk,1693696
cvc5/__init__.py,sha256=qCZ-fk-Huw6Mmd0jEeNbutDnUPNPAa4mA_Ye07IJbL0,1663
cvc5/pythonic/cvc5_pythonic.py,sha256=cTFDvaj_Aog6ERKj-Lw4bH_ZCZT6mdI3SKwvc5BJYNA,245203
cvc5/pythonic/cvc5_pythonic_printer.py,sha256=zpPW78W5iEduYsTc4nBi19YLZX3N9NEFj7Yxsx4YRLU,42393
cvc5/pythonic/__init__.py,sha256=xYBu7h3ijdCgB-GB30Cdp01E5cwlOFjgjjMREQ9cJSU,29
cvc5-1.3.0.dist-info/COPYING,sha256=Q97Cav4uNxR_d2HGE4b88EUdf3bAoK_QVEJcq0l9Osw,6297
cvc5-1.3.0.dist-info/DELVEWHEEL,sha256=JKfbCsf_LFSAatEkBE4scysGVEDgCfYXWyRfWaae5A8,471
cvc5-1.3.0.dist-info/GCC-exception-3.1.txt,sha256=kAd7owbunY7ZZsqxtKvWm25yis8Id3KDzFAoPNlQP6Y,3397
cvc5-1.3.0.dist-info/gpl-3.0.txt,sha256=IwGE9guuL-ryRPEKi6wFPI_zOhg7zDZbTYuHbSt_SAk,35823
cvc5-1.3.0.dist-info/lgpl-3.0.txt,sha256=fTqV5eBpeAZO0_jit8j4Ref9ikBSlHJ8xwj5TLg7gFk,7817
cvc5-1.3.0.dist-info/METADATA,sha256=OBBe-IPZMA3Ya72YsxWltrABr9mBEj2ARQ2WFd-0qjM,738
cvc5-1.3.0.dist-info/minisat-LICENSE,sha256=9pteHVdQ5rBPYYoZifu8_aOeDN-ZzerXVa22YbGmwvk,1163
cvc5-1.3.0.dist-info/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5-1.3.0.dist-info/RECORD,,
cvc5-1.3.0.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-1.3.0.dist-info/WHEEL,sha256=slqBGdqRnxanDn00BSYHhryEsWH_8CUurgRUvoMtK_Y,101
cvc5-1.3.0.dist-info/winpthreads-LICENSE,sha256=HI0jBjw3crlDWDFBCzG1H-89nPITikQtw2fvXXIjn2c,2940
cvc5.libs/.load-order-cvc5-1.3.0,sha256=daxSa-eQBTGWtdgqzKRn4fe5dEnlsD12-2u2_7iFmo0,342
cvc5.libs/libcvc5-a65cb6812aea055c6ff5a6a4421b6dc1.dll,sha256=qyDjbaOJfWvakK22BfZ-8efmd6XCOw6K_mHZu_hA6yE,32171451
cvc5.libs/libcvc5parser-83605ab31a84aa363af2574bfeea04b0.dll,sha256=VZ-TukGJdm_4YJ5mmXY9SxEKttuf3Btucw1lFcAM76M,1175103
cvc5.libs/libgcc_s_seh-1-a89cfea8698a13b166daa8e6fe9967f0.dll,sha256=YqaWTkLcFXbPGLWb0xqfu8tKOpVNaUU0Nqj4baJa8wU,151731
cvc5.libs/libpoly-f3046c7cb57ec0e64f2f1ce3e4887ca6.dll,sha256=h-FyzKcwdeC8YD73HaejAyudnVCFbJLfAWbnieh2weE,1282610
cvc5.libs/libpolyxx-3b2382850b207f699f4bfebc53544a72.dll,sha256=2-JHinek1jSUtGLf2hdVtYtEcKf7ej_ROcKtkCWX-no,378605
cvc5.libs/libstdc++-6-65eb308df98979d1f8ecdc1e3728687a.dll,sha256=xS9NRBGnoN_pFPm6EAPcWMEKdjCKgXkT-HSN-NE7uEQ,2400680
cvc5.libs/libwinpthread-1-176928b46127622c4f7c9966b7963f3b.dll,sha256=8AAW2MTHJ-5gzqW_lIOFkcL1IKWZrBD1WraD8axvcOU,61302
