cvc5_gpl-1.3.1.dist-info/RECORD,,
cvc5_gpl-1.3.1.dist-info/WHEEL,sha256=bDWaFWigpG5bEpqw9IoRiyYs8MvmSFh0OhUAOoi_-KA,134
cvc5_gpl-1.3.1.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5_gpl-1.3.1.dist-info/METADATA,sha256=HhWND2M5o2CMaUKJqPMgYctVLd-ysT5q6Gz02LJ8oMw,745
cvc5_gpl-1.3.1.dist-info/licenses/COPYING,sha256=gNtw5DVtNtckBU4GwZJoRrv4kC9-99CAnbxzPLPhI-I,6024
cvc5_gpl-1.3.1.dist-info/licenses/licenses/GCC-exception-3.1.txt,sha256=nWtDzk2N4Mh4vxa1TY56ENm9QrdReBU-OvaoFb3JD3Q,3324
cvc5_gpl-1.3.1.dist-info/licenses/licenses/lgpl-3.0.txt,sha256=46mU2C5kSwOnkqkw9XQAJlhBL2JAf1_uCD8lVcXyMRg,7652
cvc5_gpl-1.3.1.dist-info/licenses/licenses/winpthreads-LICENSE,sha256=YyY2FM3Sny-Ty6hemS8EGzH5_HtAM2kvMSaUiaihsXc,2883
cvc5_gpl-1.3.1.dist-info/licenses/licenses/gpl-3.0.txt,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
cvc5_gpl-1.3.1.dist-info/licenses/licenses/minisat-LICENSE,sha256=x19QY1YGdHKPz6e5spHSajqLlDag2ZQOrcgaq3d51is,1142
cvc5_gpl-1.3.1.dist-info/licenses/licenses/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5/__init__.py,sha256=YyiBdAAAsm04evSEaKpOADoALgmfRKCQKBmt4O5ccsk,102
cvc5/cvc5_python_base.cpython-39-darwin.so,sha256=hl_UmLjpbVKb_pN-Vtu8NdxaGzgsFipi40B0WAA4eG4,1919248
cvc5/pythonic/cvc5_pythonic.py,sha256=vS8PcIlvBgmusrLOs4ijssOjpW-doxpQWpFOZ-cJMM4,245421
cvc5/pythonic/__init__.py,sha256=xYBu7h3ijdCgB-GB30Cdp01E5cwlOFjgjjMREQ9cJSU,29
cvc5/pythonic/cvc5_pythonic_printer.py,sha256=zpPW78W5iEduYsTc4nBi19YLZX3N9NEFj7Yxsx4YRLU,42393
cvc5/.dylibs/libcvc5parser.1.dylib,sha256=EzE7oKnruIzdL56OYhm5MbxFY7mgvlPsHa71mobzfjY,833872
cvc5/.dylibs/libcln.6.dylib,sha256=6NeEDhZnbxhiEWcyxB5OEeH9I4vHEh9LgI-w55ljTJ4,2014704
cvc5/.dylibs/libpoly.0.2.0.dylib,sha256=iybGQoWyw0h9ln-4Lu13SDuSCzby4fSY2MlKFP2Nm7Q,343760
cvc5/.dylibs/libpolyxx.0.2.0.dylib,sha256=hMrmvVfO6s2zN19HV1DkXy3RvBZGPRuMcq1B9dt1xf4,284640
cvc5/.dylibs/libgmp.10.dylib,sha256=mWy6ecgRRP1yINAFDSvZFbQKzzyPBQctDGaxaKx9qLA,786592
cvc5/.dylibs/libcvc5.1.dylib,sha256=_q79qdb-A0Zei8KBZPbE1JZFOW0KrcsmdUe9mCvhhfc,29347248
