cvc5/__init__.py,sha256=z8apfa1Y3Kda5qQ5s3oYWYp3zUEJYPumLnTUgyIrmWE,102
cvc5/cvc5_python_base.pypy39-pp73-aarch64-linux-gnu.so,sha256=umnLIsKaw7qNiAEVs9Ojyp4AlOnuosKCfAcbVIUYev4,1598960
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-6a34342d.so.6.0.7,sha256=Nm8-P59cti1r0WZa_EkLN-Dz8FHA-Q1Cb1acBRDZmBU,2249816
cvc5_gpl.libs/libcvc5-1fb51e16.so.1.4.2,sha256=mpaDDZF2me0Upetv2nE2PI5xzPRpUogGELCuwzkok58,35937688
cvc5_gpl.libs/libcvc5parser-9a9fa69f.so.1.4.2,sha256=hWMkKWMKIIBAP1-Nu84_n7lY8WRl3jnqfitjzpaF_ZQ,1636496
cvc5_gpl.libs/libgmp-1fa5f074.so.10.5.0,sha256=Mysa8zXyVeyBecu2miLaMza7RoAhwunBgLNrNySPxls,867968
cvc5_gpl.libs/libgmpxx-fbbbbfd4.so.4.7.0,sha256=20anziIwvgn-3np-70ycv-ZXx9RoS0EhmrcQF8Wy0bQ,288384
cvc5_gpl.libs/libmpfr-172215c1.so.6.2.2,sha256=EqLwrY5Yh6DbHrXagonChcpjy-mwqHEk2pXmgBVNQ_k,1049192
cvc5_gpl.libs/libnormaliz-cd3d6801.so.3.11.1,sha256=DdroHyr0EseTW_7wzyGmmC0DObnQYxkki6bBAKhubcY,9084888
cvc5_gpl.libs/libpoly-eb10d276.so.0.2.1,sha256=tBN-qJOjPdKJ0ZYf-kFwRzwVRjgpC3u9jGPmQQygLvE,732688
cvc5_gpl.libs/libpolyxx-19bd257c.so.0.2.1,sha256=T8miHVZLfS2c-XaGNB1I3ZHDqmPTeZJfmsNSKr4jlvM,601600
cvc5_gpl-1.4.2.dist-info/COPYING,sha256=dFQaMpYFsLlJzLak3rPMIqs--udz5G0ctrJSv3l2IO0,7343
cvc5_gpl-1.4.2.dist-info/GCC-exception-3.1.txt,sha256=nWtDzk2N4Mh4vxa1TY56ENm9QrdReBU-OvaoFb3JD3Q,3324
cvc5_gpl-1.4.2.dist-info/METADATA,sha256=S0VRw2OWVK1ElJnnq8YGmjNBNfV-k7_txyV-MklC-0A,739
cvc5_gpl-1.4.2.dist-info/WHEEL,sha256=dk6TAAzC61OipAMVqQ7FdMeSpyu90S-tQEcCmEhuJUM,172
cvc5_gpl-1.4.2.dist-info/apache-2.0-with-llvm-exceptions.txt,sha256=U53Xrthuik8Sy90ObFDBicfXSEfk_sxkzixu46Ado4s,16703
cvc5_gpl-1.4.2.dist-info/gpl-3.0.txt,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
cvc5_gpl-1.4.2.dist-info/lgpl-3.0.txt,sha256=46mU2C5kSwOnkqkw9XQAJlhBL2JAf1_uCD8lVcXyMRg,7652
cvc5_gpl-1.4.2.dist-info/minisat-LICENSE,sha256=x19QY1YGdHKPz6e5spHSajqLlDag2ZQOrcgaq3d51is,1142
cvc5_gpl-1.4.2.dist-info/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5_gpl-1.4.2.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5_gpl-1.4.2.dist-info/RECORD,,
