cvc5/__init__.py,sha256=KI276vMsNaixq4eBFeDdyyUUk4vIIxdPZVcuIq_NQnM,80
cvc5/cvc5_python_base.pypy39-pp73-darwin.so,sha256=XbAwKxhxQ095rfyv9j6rGF5AeJeLuK3GQ_modvHKvkQ,1519520
cvc5/pythonic/cvc5_pythonic.py,sha256=O3lTp1uhzTZ4ERMHHNhm0KlK-5oxswH3SUwZMINzFeU,241543
cvc5/pythonic/__init__.py,sha256=xYBu7h3ijdCgB-GB30Cdp01E5cwlOFjgjjMREQ9cJSU,29
cvc5/pythonic/cvc5_pythonic_printer.py,sha256=7o-8yHJKppH1JBkyX6zJjQ9P1WpA4QDkTTe5hCaONSc,41063
cvc5/.dylibs/libcvc5parser.1.dylib,sha256=l3ZUV89DHU2LGqYmH3ZC2ZuvGxDFwkpjez8iLNC9VHo,778272
cvc5/.dylibs/libpolyxx.0.1.13.dylib,sha256=D6F-M6LbhGL0etU6qqpnv2hyKtlw4lmxcxg805z6bEE,277104
cvc5/.dylibs/libpoly.0.1.13.dylib,sha256=9J3bFCzAWrJBU_XezOLSU7gqwn2D0EBWgFLYbYag9r0,303968
cvc5/.dylibs/libgmp.10.dylib,sha256=yzv0g4p5OIy4UH-NUJ2zV2LrV20hTu9HHViecX0XSvw,699472
cvc5/.dylibs/libcvc5.1.dylib,sha256=l2u6RNDndkvcqIcoIA-07E85HmHBw1FAu39pTjB1XYA,23978480
cvc5-1.1.2.dist-info/lgpl-3.0.txt,sha256=46mU2C5kSwOnkqkw9XQAJlhBL2JAf1_uCD8lVcXyMRg,7652
cvc5-1.1.2.dist-info/RECORD,,
cvc5-1.1.2.dist-info/WHEEL,sha256=NBzbrT-zdI857c6ZtY2k130KX_qqTY2zUha-8fZQdq8,115
cvc5-1.1.2.dist-info/gpl-3.0.txt,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
cvc5-1.1.2.dist-info/COPYING,sha256=ZlsG8JgFAUcDdlRj9dH_yMpUW5LKU9NgwgOn36b23eU,5268
cvc5-1.1.2.dist-info/minisat-LICENSE,sha256=x19QY1YGdHKPz6e5spHSajqLlDag2ZQOrcgaq3d51is,1142
cvc5-1.1.2.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-1.1.2.dist-info/METADATA,sha256=arrAO5B8eJyEIB9LtLAr35rDznMlpKtGO23qX-JZ2Kc,338
cvc5-1.1.2.dist-info/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
