cvc5.libs/libcvc5-d5875533.so.1,sha256=4WDenAB-YssDZe8IIZqHXbiq02sfyiDgorzG_ngZzgM,28078113
cvc5.libs/libpoly-f3e2995f.so.0.1.13,sha256=SbfkZL1C2wQc_Aidqh826a8n-1jnm-igL-sOago6LfU,499753
cvc5.libs/libgmp-b2ad1ad7.so.10.5.0,sha256=px13LAG89KS9Bqe1RKrFSyXhPAXlxv7Uivn6o0jLwAw,564985
cvc5.libs/libcvc5parser-7255a3bd.so.1,sha256=EVeCpwqSPIa2tSNgHc2nj57_ikcD94ilXVn1ol2WeY0,1178153
cvc5.libs/libpolyxx-5119d93a.so.0.1.13,sha256=dQUE6vFZ3amu7yyJ4OTGIU_iUBNQLhHkd7U0484q8ao,431801
cvc5-1.1.2.dist-info/METADATA,sha256=Vj5Xe8-sGzye6eXRDQ9CtBKXWM4VuBeltYmRARERAS8,374
cvc5-1.1.2.dist-info/lgpl-3.0.txt,sha256=46mU2C5kSwOnkqkw9XQAJlhBL2JAf1_uCD8lVcXyMRg,7652
cvc5-1.1.2.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-1.1.2.dist-info/WHEEL,sha256=ryJWthI7j6Fybu7HhrfUC4hyGgL3SbF1rd5BAxGim20,162
cvc5-1.1.2.dist-info/COPYING,sha256=ZlsG8JgFAUcDdlRj9dH_yMpUW5LKU9NgwgOn36b23eU,5268
cvc5-1.1.2.dist-info/RECORD,,
cvc5-1.1.2.dist-info/gpl-3.0.txt,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
cvc5-1.1.2.dist-info/minisat-LICENSE,sha256=x19QY1YGdHKPz6e5spHSajqLlDag2ZQOrcgaq3d51is,1142
cvc5-1.1.2.dist-info/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5/__init__.py,sha256=KI276vMsNaixq4eBFeDdyyUUk4vIIxdPZVcuIq_NQnM,80
cvc5/cvc5_python_base.pypy38-pp73-x86_64-linux-gnu.so,sha256=kgJ2S3QZlc5VPGP4XRLHJaJxBOFnpBPGk05uH0X-A6Q,1926977
cvc5/pythonic/cvc5_pythonic_printer.py,sha256=7o-8yHJKppH1JBkyX6zJjQ9P1WpA4QDkTTe5hCaONSc,41063
cvc5/pythonic/cvc5_pythonic.py,sha256=O3lTp1uhzTZ4ERMHHNhm0KlK-5oxswH3SUwZMINzFeU,241543
cvc5/pythonic/__init__.py,sha256=xYBu7h3ijdCgB-GB30Cdp01E5cwlOFjgjjMREQ9cJSU,29
