cvc5/__init__.py,sha256=jzAJfbaxKkmWs4Qvf53WsoaZN-IWB3ErdUFJnkE-648,102
cvc5/cvc5_python_base.so,sha256=l6fnwfyu8fkElEqfRwJV1w8qO9GL8YxVsElc9cg06O4,2133689
cvc5/pythonic/cvc5_pythonic_printer.py,sha256=tNyFVoNp-1yMLI-elycndyYiLp8OHNN-j7J0_P7ijnI,42352
cvc5/pythonic/cvc5_pythonic.py,sha256=WNVR36-14433kXMQ6XE7fss8Ffgkmur9ws33b2TjAVk,246345
cvc5/pythonic/__init__.py,sha256=xYBu7h3ijdCgB-GB30Cdp01E5cwlOFjgjjMREQ9cJSU,29
cvc5-1.2.0.dist-info/COPYING,sha256=SeYw23bHSEw3DXgnitLffQUA3-BHVWnAXHHsg71D6AM,5268
cvc5-1.2.0.dist-info/RECORD,,
cvc5-1.2.0.dist-info/minisat-LICENSE,sha256=x19QY1YGdHKPz6e5spHSajqLlDag2ZQOrcgaq3d51is,1142
cvc5-1.2.0.dist-info/WHEEL,sha256=gLdYFVMFPmpMtd1W0xcnQFEzOqrHhYP4TlRNWHK8LIw,167
cvc5-1.2.0.dist-info/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5-1.2.0.dist-info/lgpl-3.0.txt,sha256=46mU2C5kSwOnkqkw9XQAJlhBL2JAf1_uCD8lVcXyMRg,7652
cvc5-1.2.0.dist-info/gpl-3.0.txt,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
cvc5-1.2.0.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-1.2.0.dist-info/METADATA,sha256=dnSiV19HzFBg1Zby6aS8jNPwOUwS_0Er60wtuswXnLE,593
cvc5.libs/libpolyxx-de14af4d.so.0.1.13,sha256=SleMd9cMJIhIpXgjxVKIKTBRlOt_bb-jZ9ZB0RYY7Qw,505497
cvc5.libs/libgmp-6683d5d4.so.10.2.0,sha256=jjJVzEUWb3jFIVktTIA-MvnNeUmAB5LgmnuQAdGfDQY,540105
cvc5.libs/libpoly-e89763b1.so.0.1.13,sha256=Zw2cdT15OZz8zPL55BgH04k-ByUB9ABPvu-uvEsfo5g,544785
cvc5.libs/libcvc5-a7582350.so.1,sha256=bu9GZNZP0I9L06ukf3fVGbLLPqsT7z1z7RpDzgAtuMo,27144969
cvc5.libs/libcvc5parser-40d5178c.so.1,sha256=ik1uf28CD2HhziBlhtGk_iJe1UuA0HOCu_55kz2WYo8,1377489
