cvc5_gpl-1.4.0.dist-info/RECORD,,
cvc5_gpl-1.4.0.dist-info/WHEEL,sha256=fRv_BLe32BlBrHHkJuaqnaOZ6RX1esEwf39Qs4ukXbU,138
cvc5_gpl-1.4.0.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5_gpl-1.4.0.dist-info/METADATA,sha256=TUz2fQUa0qHbSfquwN3SpcXyuDT6j0FynI5C0v6kDMo,761
cvc5_gpl-1.4.0.dist-info/licenses/COPYING,sha256=dFQaMpYFsLlJzLak3rPMIqs--udz5G0ctrJSv3l2IO0,7343
cvc5_gpl-1.4.0.dist-info/licenses/licenses/GCC-exception-3.1.txt,sha256=nWtDzk2N4Mh4vxa1TY56ENm9QrdReBU-OvaoFb3JD3Q,3324
cvc5_gpl-1.4.0.dist-info/licenses/licenses/lgpl-3.0.txt,sha256=46mU2C5kSwOnkqkw9XQAJlhBL2JAf1_uCD8lVcXyMRg,7652
cvc5_gpl-1.4.0.dist-info/licenses/licenses/gpl-3.0.txt,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
cvc5_gpl-1.4.0.dist-info/licenses/licenses/minisat-LICENSE,sha256=x19QY1YGdHKPz6e5spHSajqLlDag2ZQOrcgaq3d51is,1142
cvc5_gpl-1.4.0.dist-info/licenses/licenses/apache-2.0-with-llvm-exceptions.txt,sha256=U53Xrthuik8Sy90ObFDBicfXSEfk_sxkzixu46Ado4s,16703
cvc5_gpl-1.4.0.dist-info/licenses/licenses/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5/cvc5_python_base.cpython-312-darwin.so,sha256=qO5ouaQCaWjHhqexGAbgvlT-JNw5bL0X_1wPL_SzPXU,1663840
cvc5/__init__.py,sha256=ip2BymSXFucpyJyE886jkE1ojQSJOPSEUl7PjKqisU0,102
cvc5/pythonic/cvc5_pythonic.py,sha256=IbRgDreweXew5bqke01b_5bV0INPcX3g6igACWRbkLI,255733
cvc5/pythonic/__init__.py,sha256=xYBu7h3ijdCgB-GB30Cdp01E5cwlOFjgjjMREQ9cJSU,29
cvc5/pythonic/cvc5_pythonic_printer.py,sha256=vT05-oTvyKe2JbCgsqprfCz4kX95nT0qQqMIGA9FORQ,43671
cvc5/.dylibs/libgmpxx.4.dylib,sha256=2zJLupkbFqXmY4c2v196mT0bIlXVOtxc8gdCXmnkLXw,53152
cvc5/.dylibs/libnormaliz.3.dylib,sha256=pxnosf57VuGp0__WtG1NWb5WEvQKqVxMu_HBCQiwiHc,8099344
cvc5/.dylibs/libcvc5.1.4.0.dylib,sha256=aBGpsOTjiLXZoZTr5_xe5Vk0gwVWWfbezs7yATxFizk,34531568
cvc5/.dylibs/libcln.6.dylib,sha256=FpFC6SxSODfA2YjObmNmhsifUUs34yHivF4D3RB7hgA,1983584
cvc5/.dylibs/libcvc5parser.1.4.0.dylib,sha256=o1bpO1dz5h_8YboPAcbCtgeWA5c_nmvWqg70Sbx4b0s,836688
cvc5/.dylibs/libpolyxx.0.2.1.dylib,sha256=izapO6oBGrAujwijkBj7m1dIALeG7UY8eF1PYXltT2A,273504
cvc5/.dylibs/libgmp.10.dylib,sha256=qX20M3NejzH9SeT6Sm-CdcSsUWPIBAWeNxxc6dqerCU,642352
cvc5/.dylibs/libmpfr.6.dylib,sha256=e00M-7X1XPq2kW_nc-JMQ8zXClcOC_xTg1lEnDI-JEk,746624
cvc5/.dylibs/libpoly.0.2.1.dylib,sha256=nvqwZvi6cbw4S6SUwdK7djmfQperZ40V4fyDyE3srtY,302464
