cvc5/__init__.py,sha256=G0HKvxTNnryEzcQWx0jbD2KBpr6eI-grMvRjupiN4D0,102
cvc5/cvc5_python_base.cpython-315-aarch64-linux-gnu.so,sha256=MXbUycfUJnU34_ol-JkCHlk3Lq_8HUWQqNjYo8lSUEw,7440729
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.libs/libcvc5-a63142bf.so.1.4.1,sha256=xgFc8ZeqK1qMDYZDCCe-chbA9eS3OHGKya2ncIur3Ps,29201057
cvc5.libs/libcvc5parser-799fbc8e.so.1.4.1,sha256=lFd2s0WBMgFUEUD3xXC5NbdEWXagip-aucbNVXlH4gQ,1509913
cvc5.libs/libgmp-1fa5f074.so.10.5.0,sha256=0KmV6GxAMWJ6mZ09pumVJorExidqJSvn41ucpw7RNpw,867881
cvc5.libs/libmpfr-172215c1.so.6.2.2,sha256=VBzs7ACBJq8HNrgXMPbhxL1KDMP2ALj8XBC882ZelLk,1059001
cvc5.libs/libpoly-eb10d276.so.0.2.1,sha256=QTUSYpLZPLumVYpGjCy0tsW5YUaJwyL0dKuyOnThFRo,678193
cvc5.libs/libpolyxx-19bd257c.so.0.2.1,sha256=iG1RDNETZ6VKtTcbL4sDRWkc9TVNf30wkwLxf_FGegY,574097
cvc5-1.4.1.dist-info/METADATA,sha256=ZCs4pvil7LPAhKJqUKBH8TFMDDSj9UkQ1X1oiKYdXdY,757
cvc5-1.4.1.dist-info/WHEEL,sha256=QqMO3HmTwuZVEXJtNh_BDzSmm076pdRvQodFMK3aCJs,153
cvc5-1.4.1.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-1.4.1.dist-info/RECORD,,
cvc5-1.4.1.dist-info/licenses/COPYING,sha256=dFQaMpYFsLlJzLak3rPMIqs--udz5G0ctrJSv3l2IO0,7343
cvc5-1.4.1.dist-info/licenses/licenses/GCC-exception-3.1.txt,sha256=nWtDzk2N4Mh4vxa1TY56ENm9QrdReBU-OvaoFb3JD3Q,3324
cvc5-1.4.1.dist-info/licenses/licenses/apache-2.0-with-llvm-exceptions.txt,sha256=U53Xrthuik8Sy90ObFDBicfXSEfk_sxkzixu46Ado4s,16703
cvc5-1.4.1.dist-info/licenses/licenses/gpl-3.0.txt,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
cvc5-1.4.1.dist-info/licenses/licenses/lgpl-3.0.txt,sha256=46mU2C5kSwOnkqkw9XQAJlhBL2JAf1_uCD8lVcXyMRg,7652
cvc5-1.4.1.dist-info/licenses/licenses/minisat-LICENSE,sha256=x19QY1YGdHKPz6e5spHSajqLlDag2ZQOrcgaq3d51is,1142
cvc5-1.4.1.dist-info/licenses/licenses/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
