cvc5-1.2.1.dist-info/GCC-exception-3.1.txt,sha256=nWtDzk2N4Mh4vxa1TY56ENm9QrdReBU-OvaoFb3JD3Q,3324
cvc5-1.2.1.dist-info/lgpl-3.0.txt,sha256=46mU2C5kSwOnkqkw9XQAJlhBL2JAf1_uCD8lVcXyMRg,7652
cvc5-1.2.1.dist-info/RECORD,,
cvc5-1.2.1.dist-info/WHEEL,sha256=HqZ3awcNV2n_ETsxNC2DZQWChuOE6d5EZjagYT-TC7I,109
cvc5-1.2.1.dist-info/winpthreads-LICENSE,sha256=YyY2FM3Sny-Ty6hemS8EGzH5_HtAM2kvMSaUiaihsXc,2883
cvc5-1.2.1.dist-info/gpl-3.0.txt,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
cvc5-1.2.1.dist-info/COPYING,sha256=RP8yNWdtIqr84dfQWmEdCMFjrsv9g8tobls_0NZ3UA0,5980
cvc5-1.2.1.dist-info/minisat-LICENSE,sha256=x19QY1YGdHKPz6e5spHSajqLlDag2ZQOrcgaq3d51is,1142
cvc5-1.2.1.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-1.2.1.dist-info/METADATA,sha256=LwHbFuwiWnRAjc0mDHJMI6HZWB_mhl-95GICX1e_brQ,771
cvc5-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=3DTTx9fZlntC1G5sFYs_YAFriDr-X2_kTlnhYHVoylE,2045296
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=kk8-ZheuKdTmfzKPjYGXsRFpIWTsSmHrHiobGc1BuUM,839360
cvc5/.dylibs/libpolyxx.0.1.13.dylib,sha256=VJirSf9iGQYwGjH_pfzfqIdpUA1Q6i7r-l6Z6cIVXbw,269408
cvc5/.dylibs/libpoly.0.1.13.dylib,sha256=5L9apdDN6rAVXDJJjKm5C_lN4Yvv4_bqVZ7oOzId2Og,304736
cvc5/.dylibs/libgmp.10.dylib,sha256=7OzwXuwqg_eQ_T2Jw5dNs_mZ5wk6x9SmqxzdvwA3j-4,568480
cvc5/.dylibs/libcvc5.1.dylib,sha256=4Ox8tLIbjR-yYiRpEuOs5u_W96s9IHtSh6A5GEONyqI,27432512
