cvc5/__init__.py,sha256=JCVfHIXxoM8dUZFLmAwaZscEYNnJtp5aPBPveEr2oY4,102
cvc5/cvc5_python_base.cpython-312-x86_64-linux-gnu.so,sha256=9kNV6mRuJ44k6MC0FjhdTi9aGjDwvDrDllxizYPvlgA,7075425
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.libs/libcvc5-5e2739d7.so.1.3.4,sha256=X0DS8QuBmgTG4J-KDdnM498KTThOYRNk_AxIj3bvjXI,33185401
cvc5.libs/libcvc5parser-57ac2037.so.1.3.4,sha256=uq-c9iUpALwsKJW-vg5lIc_N1bRSjABzcJHycBNk8TI,1321513
cvc5.libs/libgmp-97ca9d68.so.10.5.0,sha256=YqzW4yq8zNCcDuZSfmaRaHjyOMfIan9dnIL_je698wU,724705
cvc5.libs/libpoly-d9dd40de.so.0.2.1,sha256=7gnhZ-xGEVvmNgwR2RYOC4XNYsfc0riPAL1a5wIaXcA,555321
cvc5.libs/libpolyxx-a817ce58.so.0.2.1,sha256=JgSZdQcuhpinjgw1fPYLR7yneWKBcNOqZcIrW_84J1A,447129
cvc5-1.3.4.dist-info/METADATA,sha256=9Iig2QgfnVND1vHggEoU0Bu_U8TA4oN_DXsnma3UMQ8,757
cvc5-1.3.4.dist-info/WHEEL,sha256=xZDW7cs1uNrIXupugSX6MuN9g_ZyR5vcfKfhfn3-rY4,151
cvc5-1.3.4.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-1.3.4.dist-info/RECORD,,
cvc5-1.3.4.dist-info/licenses/COPYING,sha256=NBzSPBEzvtpjUJytjYK5akfcjjIb3UnOgZDjcREMz_c,6211
cvc5-1.3.4.dist-info/licenses/licenses/GCC-exception-3.1.txt,sha256=nWtDzk2N4Mh4vxa1TY56ENm9QrdReBU-OvaoFb3JD3Q,3324
cvc5-1.3.4.dist-info/licenses/licenses/apache-2.0-with-llvm-exceptions.txt,sha256=U53Xrthuik8Sy90ObFDBicfXSEfk_sxkzixu46Ado4s,16703
cvc5-1.3.4.dist-info/licenses/licenses/gpl-3.0.txt,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
cvc5-1.3.4.dist-info/licenses/licenses/lgpl-3.0.txt,sha256=46mU2C5kSwOnkqkw9XQAJlhBL2JAf1_uCD8lVcXyMRg,7652
cvc5-1.3.4.dist-info/licenses/licenses/minisat-LICENSE,sha256=x19QY1YGdHKPz6e5spHSajqLlDag2ZQOrcgaq3d51is,1142
cvc5-1.3.4.dist-info/licenses/licenses/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
