cvc5_gpl-1.2.1.dist-info/GCC-exception-3.1.txt,sha256=nWtDzk2N4Mh4vxa1TY56ENm9QrdReBU-OvaoFb3JD3Q,3324
cvc5_gpl-1.2.1.dist-info/lgpl-3.0.txt,sha256=46mU2C5kSwOnkqkw9XQAJlhBL2JAf1_uCD8lVcXyMRg,7652
cvc5_gpl-1.2.1.dist-info/RECORD,,
cvc5_gpl-1.2.1.dist-info/WHEEL,sha256=md3JO_ifs5j508p3TDNMgtQVtnQblpGEt_Wo4W56l8Y,107
cvc5_gpl-1.2.1.dist-info/winpthreads-LICENSE,sha256=YyY2FM3Sny-Ty6hemS8EGzH5_HtAM2kvMSaUiaihsXc,2883
cvc5_gpl-1.2.1.dist-info/gpl-3.0.txt,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
cvc5_gpl-1.2.1.dist-info/COPYING,sha256=RP8yNWdtIqr84dfQWmEdCMFjrsv9g8tobls_0NZ3UA0,5980
cvc5_gpl-1.2.1.dist-info/minisat-LICENSE,sha256=x19QY1YGdHKPz6e5spHSajqLlDag2ZQOrcgaq3d51is,1142
cvc5_gpl-1.2.1.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5_gpl-1.2.1.dist-info/METADATA,sha256=Y8j4fKy1af_G0LXtsShxnm5Xs0YMZPvx7WkddVJ258M,817
cvc5_gpl-1.2.1.dist-info/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5/__init__.py,sha256=HAiamI3gKSAOuA1_vBj3aFTYtdOrJVT1IR9wbQgHrVc,102
cvc5/cvc5_python_base.cpython-39-darwin.so,sha256=8st4-rNJaa07MzhvXuCI48LU39Ymp0FWzYYGt-aP1QI,1928112
cvc5/pythonic/cvc5_pythonic.py,sha256=WNVR36-14433kXMQ6XE7fss8Ffgkmur9ws33b2TjAVk,246345
cvc5/pythonic/__init__.py,sha256=xYBu7h3ijdCgB-GB30Cdp01E5cwlOFjgjjMREQ9cJSU,29
cvc5/pythonic/cvc5_pythonic_printer.py,sha256=tNyFVoNp-1yMLI-elycndyYiLp8OHNN-j7J0_P7ijnI,42352
cvc5/.dylibs/libcvc5parser.1.dylib,sha256=sGIDGwWRZwrHNXlN-6XuMqNtMOPIs2WH3L9LBPtnt28,835344
cvc5/.dylibs/libpolyxx.0.1.13.dylib,sha256=Inuiy1TGyfnRv60CaDdmaAQDqWGsxib09bWMt5LR07M,283008
cvc5/.dylibs/libcln.6.dylib,sha256=qNLQ-Vwtzfg58HmZR9jCUkoeUxobTRssfGv0xzsD7WQ,2014704
cvc5/.dylibs/libpoly.0.1.13.dylib,sha256=7pOQaZLx8Ohzqj7pvce-D5H6ixHoc82CJo2KtG7YGWE,304560
cvc5/.dylibs/libgmp.10.dylib,sha256=bb8NncKi-6c3VqPHG4rZruSwKA6wHiafoEQUU5xB_cU,468768
cvc5/.dylibs/libcvc5.1.dylib,sha256=E8nlwceyf7dy8jgcG7i7e50bmv-fbDkgDr3eaNh8oJg,28722128
