cvc5-1.3.4.dist-info/GCC-exception-3.1.txt,sha256=nWtDzk2N4Mh4vxa1TY56ENm9QrdReBU-OvaoFb3JD3Q,3324
cvc5-1.3.4.dist-info/lgpl-3.0.txt,sha256=46mU2C5kSwOnkqkw9XQAJlhBL2JAf1_uCD8lVcXyMRg,7652
cvc5-1.3.4.dist-info/RECORD,,
cvc5-1.3.4.dist-info/WHEEL,sha256=Gd5bS7ZRjnPVm0i8EgSrpKS-TJlG7M4obWFvsBwuBDk,143
cvc5-1.3.4.dist-info/gpl-3.0.txt,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
cvc5-1.3.4.dist-info/COPYING,sha256=NBzSPBEzvtpjUJytjYK5akfcjjIb3UnOgZDjcREMz_c,6211
cvc5-1.3.4.dist-info/minisat-LICENSE,sha256=x19QY1YGdHKPz6e5spHSajqLlDag2ZQOrcgaq3d51is,1142
cvc5-1.3.4.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-1.3.4.dist-info/METADATA,sha256=eDrJJ1eprNVC5ID8bPDB9Wc_U2wHGUIf1cql-YMbkOc,735
cvc5-1.3.4.dist-info/apache-2.0-with-llvm-exceptions.txt,sha256=U53Xrthuik8Sy90ObFDBicfXSEfk_sxkzixu46Ado4s,16703
cvc5-1.3.4.dist-info/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5/__init__.py,sha256=JCVfHIXxoM8dUZFLmAwaZscEYNnJtp5aPBPveEr2oY4,102
cvc5/cvc5_python_base.pypy39-pp73-darwin.so,sha256=NGIo8XokHjeqEs3WoXZDgIRIz5CVcYW-0ok6eXW7vkU,1311248
cvc5/pythonic/cvc5_pythonic.py,sha256=VEu5o0HQ65yzIEEN3Y21fBDkppVNjkswGQvLxArPbgI,245821
cvc5/pythonic/__init__.py,sha256=xYBu7h3ijdCgB-GB30Cdp01E5cwlOFjgjjMREQ9cJSU,29
cvc5/pythonic/cvc5_pythonic_printer.py,sha256=zpPW78W5iEduYsTc4nBi19YLZX3N9NEFj7Yxsx4YRLU,42393
cvc5/.dylibs/libcvc5parser.1.3.4.dylib,sha256=Q9y3CNtGqoYIWSxvvHNyaqOpKR2atuEmxtfx25NC42w,812432
cvc5/.dylibs/libpolyxx.0.2.1.dylib,sha256=izapO6oBGrAujwijkBj7m1dIALeG7UY8eF1PYXltT2A,273504
cvc5/.dylibs/libgmp.10.dylib,sha256=qX20M3NejzH9SeT6Sm-CdcSsUWPIBAWeNxxc6dqerCU,642352
cvc5/.dylibs/libpoly.0.2.1.dylib,sha256=nvqwZvi6cbw4S6SUwdK7djmfQperZ40V4fyDyE3srtY,302464
cvc5/.dylibs/libcvc5.1.3.4.dylib,sha256=N6QJxPq16eRcW5wn0hZ46sZUhOv3jZpN29925C9caYQ,29359760
