cvc5-1.1.1.dist-info/RECORD,,
cvc5-1.1.1.dist-info/WHEEL,sha256=0oFxwiKkNnz0AkkdAs-ZZ9n_mBYkgtbY8CxP67uUP3k,111
cvc5-1.1.1.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-1.1.1.dist-info/METADATA,sha256=hlmHtHQUhEJRfmgIHkP5POPhP-9CswsgKZAixSZJJvE,136
cvc5/__init__.py,sha256=KI276vMsNaixq4eBFeDdyyUUk4vIIxdPZVcuIq_NQnM,80
cvc5/cvc5_python_base.cpython-311-darwin.so,sha256=veOo9xYaP4vi8wRx96iqdpoMYu-td0q6HWAivTUqjLY,1657296
cvc5/pythonic/cvc5_pythonic.py,sha256=O3lTp1uhzTZ4ERMHHNhm0KlK-5oxswH3SUwZMINzFeU,241543
cvc5/pythonic/__init__.py,sha256=xYBu7h3ijdCgB-GB30Cdp01E5cwlOFjgjjMREQ9cJSU,29
cvc5/pythonic/LICENSE.txt,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5/pythonic/cvc5_pythonic_printer.py,sha256=7o-8yHJKppH1JBkyX6zJjQ9P1WpA4QDkTTe5hCaONSc,41063
cvc5/.dylibs/libcvc5parser.1.dylib,sha256=GFIqQTiR8rN95gQLxNQWSwYXTtyy-svUuoOtRKGrOL4,811952
cvc5/.dylibs/libpolyxx.0.1.13.dylib,sha256=k8T4eN-KaLFtYNh_sWi-51Cb7B9gDU7HD-xMe6a-EXo,280480
cvc5/.dylibs/libpoly.0.1.13.dylib,sha256=5e41rFX5Wo47-5qixRbFTn0MXfNApevWIPnbGDB1JIY,321040
cvc5/.dylibs/libgmp.10.dylib,sha256=2ZDU_2r6u5snoNhG8uJiKvwYjI0bSOLU2EA1vrmuFuw,486384
cvc5/.dylibs/libcvc5.1.dylib,sha256=7ajAcsK3QvcBzY3dXVtgcznx_iI8n3BpyrvNafHKp00,27674448
