cvc5-1.0.1.dist-info/RECORD,,
cvc5-1.0.1.dist-info/WHEEL,sha256=9XDj7Vjma1Em7EfVqWTOzd0_uZPCc-8_b7863nS_SeI,116
cvc5-1.0.1.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-1.0.1.dist-info/METADATA,sha256=VIcIxXM0mNyKLyqE29T7Lh8QC-09ch08KYYZzW3m9jI,136
cvc5/__init__.py,sha256=KI276vMsNaixq4eBFeDdyyUUk4vIIxdPZVcuIq_NQnM,80
cvc5/cvc5_python_base.cpython-310-darwin.so,sha256=VOjJjGPRK3uSiGVKiVutZtyA_lAE3GwlRaW8YAC61lU,1012768
cvc5/pythonic/cvc5_pythonic.py,sha256=eEd0vW2ucRUA4YRzRcXpXwh40zffm2CpxN22zsLWJLM,210161
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=HxDSCyZhosw59qci3LU_NVCzX_OVbwM_ZoIiGMs1qzE,39326
cvc5/.dylibs/libpolyxx.0.1.11.dylib,sha256=KvpQxEf00ENkGUwJyhxa2ITnBH5n3eRCtppNSuOol0g,263904
cvc5/.dylibs/libcvc5.dylib,sha256=ITnRcJIvte6PVFV8G2JJo1xvfQjzuCqVX5AE9-jDmEU,26379344
cvc5/.dylibs/libpoly.0.1.11.dylib,sha256=AMGjlBGaFqwmxjpq_6WytTq4jsUrx6uKeOfAu-lSmLM,303952
cvc5/.dylibs/libgmp.10.dylib,sha256=fz5J2matZAM7t5X7LMrduOAQOBIM6IVMSiilxeFiubw,497744
