cvc5/__init__.py,sha256=JCVfHIXxoM8dUZFLmAwaZscEYNnJtp5aPBPveEr2oY4,102
cvc5/cvc5_python_base.pypy38-pp73-aarch64-linux-gnu.so,sha256=i4kYBNm6_b0mscHzPY1E01f_3GVrD6AI1D0v3n-_a9w,2327225
cvc5/pythonic/__init__.py,sha256=xYBu7h3ijdCgB-GB30Cdp01E5cwlOFjgjjMREQ9cJSU,29
cvc5/pythonic/cvc5_pythonic.py,sha256=VEu5o0HQ65yzIEEN3Y21fBDkppVNjkswGQvLxArPbgI,245821
cvc5/pythonic/cvc5_pythonic_printer.py,sha256=zpPW78W5iEduYsTc4nBi19YLZX3N9NEFj7Yxsx4YRLU,42393
cvc5_gpl.libs/libcln-6a34342d.so.6.0.7,sha256=pJtV5N0mY0Ti5WF5CwQ_owLVu3KJL96slC-ttWYe0Jg,52024793
cvc5_gpl.libs/libcvc5-ab01c54d.so.1.3.4,sha256=OQOM7dqkg6yqQXXVa48ly24ZCgR60o699Dwf6dENJlo,35718009
cvc5_gpl.libs/libcvc5parser-55b7bab6.so.1.3.4,sha256=YjHJceLppTC2HC1OpCkLBy9KPpNkp5qIM0i4izvCBAI,1378785
cvc5_gpl.libs/libgmp-1fa5f074.so.10.5.0,sha256=0KmV6GxAMWJ6mZ09pumVJorExidqJSvn41ucpw7RNpw,867881
cvc5_gpl.libs/libpoly-eb10d276.so.0.2.1,sha256=ii0ieLCyZ1Y_eyigB_YCOju5tMPCtT3YQJz3F2S8S-4,612649
cvc5_gpl.libs/libpolyxx-19bd257c.so.0.2.1,sha256=0iHVBMQDdpcGlLlKWAyUnI7AxyUPbg6mA4vbsDdG-8c,508553
cvc5_gpl-1.3.4.dist-info/COPYING,sha256=NBzSPBEzvtpjUJytjYK5akfcjjIb3UnOgZDjcREMz_c,6211
cvc5_gpl-1.3.4.dist-info/GCC-exception-3.1.txt,sha256=nWtDzk2N4Mh4vxa1TY56ENm9QrdReBU-OvaoFb3JD3Q,3324
cvc5_gpl-1.3.4.dist-info/METADATA,sha256=jo2FaVXFSjMEQfPCuu1TiiWEGln3PBoU4oqNowW0zAo,739
cvc5_gpl-1.3.4.dist-info/WHEEL,sha256=0lH3LprjcCel3RSDKXD15RvfqP5anN5vr1W8p8ZNpVk,163
cvc5_gpl-1.3.4.dist-info/apache-2.0-with-llvm-exceptions.txt,sha256=U53Xrthuik8Sy90ObFDBicfXSEfk_sxkzixu46Ado4s,16703
cvc5_gpl-1.3.4.dist-info/gpl-3.0.txt,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
cvc5_gpl-1.3.4.dist-info/lgpl-3.0.txt,sha256=46mU2C5kSwOnkqkw9XQAJlhBL2JAf1_uCD8lVcXyMRg,7652
cvc5_gpl-1.3.4.dist-info/minisat-LICENSE,sha256=x19QY1YGdHKPz6e5spHSajqLlDag2ZQOrcgaq3d51is,1142
cvc5_gpl-1.3.4.dist-info/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5_gpl-1.3.4.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5_gpl-1.3.4.dist-info/RECORD,,
