cvc5/__init__.py,sha256=G0HKvxTNnryEzcQWx0jbD2KBpr6eI-grMvRjupiN4D0,102
cvc5/cvc5_python_base.pypy310-pp73-x86_64-linux-gnu.so,sha256=m7yFuSejKP0ZX2KdGStfVhPw8d3LMkgvYRm8_yDQ7Tc,1579257
cvc5/pythonic/__init__.py,sha256=xYBu7h3ijdCgB-GB30Cdp01E5cwlOFjgjjMREQ9cJSU,29
cvc5/pythonic/cvc5_pythonic.py,sha256=IbRgDreweXew5bqke01b_5bV0INPcX3g6igACWRbkLI,255733
cvc5/pythonic/cvc5_pythonic_printer.py,sha256=vT05-oTvyKe2JbCgsqprfCz4kX95nT0qQqMIGA9FORQ,43671
cvc5_gpl.libs/libcln-f5205e60.so.6.0.7,sha256=iTGpNupkC1aRzwJyDywlVN_aHYIuAzjqJgr-ctKppwg,52364681
cvc5_gpl.libs/libcvc5-bb6161d9.so.1.4.1,sha256=8Z2FJsIOGEmaRYuaaHNHLSRXfQTS2IRaAnt-0YKkDh0,40659585
cvc5_gpl.libs/libcvc5parser-6410e4a0.so.1.4.1,sha256=hzLJAD0P43af4GjSe7MZPKU6I18K2a7cShQ1N1o56kU,1569553
cvc5_gpl.libs/libgmp-97ca9d68.so.10.5.0,sha256=YqzW4yq8zNCcDuZSfmaRaHjyOMfIan9dnIL_je698wU,724705
cvc5_gpl.libs/libgmpxx-904d5d65.so.4.7.0,sha256=8Uzwqdqnh1DrmbtN7qJaXFWWK2AlZuZrQ9ovpexyjEA,81377
cvc5_gpl.libs/libmpfr-10dcfb8d.so.6.2.2,sha256=ydtRP0EcN4vLD5a_0Hl0V6hfO13akW3MM4L8LyW6Vn0,1028721
cvc5_gpl.libs/libnormaliz-7dad8080.so.3.11.1,sha256=HKqbGDKf4b3G8NzViLHmdPwwDRonfkdwU5rhHqatifQ,147904449
cvc5_gpl.libs/libpoly-d9dd40de.so.0.2.1,sha256=oLep-IoavfSKKfbTBvUatawfKhvphtjC5k_nB5qdOsU,579905
cvc5_gpl.libs/libpolyxx-a817ce58.so.0.2.1,sha256=wuHKcqWKt0PUGPX6ynHgnrGf5QC0PvcS1sGkXeMeM9E,500385
cvc5_gpl-1.4.1.dist-info/COPYING,sha256=dFQaMpYFsLlJzLak3rPMIqs--udz5G0ctrJSv3l2IO0,7343
cvc5_gpl-1.4.1.dist-info/GCC-exception-3.1.txt,sha256=nWtDzk2N4Mh4vxa1TY56ENm9QrdReBU-OvaoFb3JD3Q,3324
cvc5_gpl-1.4.1.dist-info/METADATA,sha256=Fv1K9-xFxF-WYlAsuve65HhxD3lLum1S9Wee-ospgjQ,739
cvc5_gpl-1.4.1.dist-info/WHEEL,sha256=68G6E_rqJCZJfFsaGw2jfWrbzmr9mJQXY1pZoqvWqT0,165
cvc5_gpl-1.4.1.dist-info/apache-2.0-with-llvm-exceptions.txt,sha256=U53Xrthuik8Sy90ObFDBicfXSEfk_sxkzixu46Ado4s,16703
cvc5_gpl-1.4.1.dist-info/gpl-3.0.txt,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
cvc5_gpl-1.4.1.dist-info/lgpl-3.0.txt,sha256=46mU2C5kSwOnkqkw9XQAJlhBL2JAf1_uCD8lVcXyMRg,7652
cvc5_gpl-1.4.1.dist-info/minisat-LICENSE,sha256=x19QY1YGdHKPz6e5spHSajqLlDag2ZQOrcgaq3d51is,1142
cvc5_gpl-1.4.1.dist-info/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5_gpl-1.4.1.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5_gpl-1.4.1.dist-info/RECORD,,
