cvc5/cvc5_python_base.cpython-37m-x86_64-linux-gnu.so,sha256=O97mP7NIeHGnat3ucQ1wmT21k3_ntwv6YLchkUWDvdo,1243632
cvc5/__init__.py,sha256=KI276vMsNaixq4eBFeDdyyUUk4vIIxdPZVcuIq_NQnM,80
cvc5/pythonic/LICENSE.txt,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5/pythonic/cvc5_pythonic_printer.py,sha256=HxDSCyZhosw59qci3LU_NVCzX_OVbwM_ZoIiGMs1qzE,39326
cvc5/pythonic/__init__.py,sha256=xYBu7h3ijdCgB-GB30Cdp01E5cwlOFjgjjMREQ9cJSU,29
cvc5/pythonic/cvc5_pythonic.py,sha256=eEd0vW2ucRUA4YRzRcXpXwh40zffm2CpxN22zsLWJLM,210161
cvc5.libs/libgmp-49a89149.so.10.4.1,sha256=vmcX0iR2VFKyJHXjBRdmRDLtDbqQEr1BGdwZelaofG0,552680
cvc5.libs/libpoly-f17fc3ed.so.0.1.11,sha256=2CqodoOTWo1N7h-IoIdZlIaob3FTEr0xAq5_ruwB9yc,495488
cvc5.libs/libpolyxx-5119d93a.so.0.1.11,sha256=W8HDlbC5m1ZYZQefW59ojH-f1E2JcL2Iv6rjW_hue-4,480952
cvc5.libs/libcvc5-be21d936.so,sha256=X_WHPxxxfciHZ_fxmX3t7Pi3sObckZd8q--Hhv7SpsU,26221104
cvc5-0.0.12.dist-info/WHEEL,sha256=FGGRUrvefXOiAJfyJCZAiu4TpTMkXB_CzdEp3x2T96E,150
cvc5-0.0.12.dist-info/METADATA,sha256=tpWF4odHkQwaeQjEv0zr5gmrk_33AtFtDJVqFWm9L6A,173
cvc5-0.0.12.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-0.0.12.dist-info/RECORD,,
