cvc5/cvc5_python_base.pyd,sha256=U_1W5uNVWv75kvY4c1VSPbz5cUrQQPqw_yjIDENlM74,1641984
cvc5/__init__.py,sha256=MrWqX8EKsQVYylJLNh2phd0K7riahF_ZJfbqUMs8iZ4,442
cvc5/pythonic/cvc5_pythonic.py,sha256=WNVR36-14433kXMQ6XE7fss8Ffgkmur9ws33b2TjAVk,246345
cvc5/pythonic/cvc5_pythonic_printer.py,sha256=tNyFVoNp-1yMLI-elycndyYiLp8OHNN-j7J0_P7ijnI,42352
cvc5/pythonic/__init__.py,sha256=xYBu7h3ijdCgB-GB30Cdp01E5cwlOFjgjjMREQ9cJSU,29
cvc5-1.2.0.dist-info/COPYING,sha256=2uGPtQ5Gp00bi1yegiaeVxon8aKUopBoQbLuejhs3bU,5377
cvc5-1.2.0.dist-info/DELVEWHEEL,sha256=yPdDjFXQCOA8VC10KEyrHY_pCwNGdHdJcY6J736KCns,475
cvc5-1.2.0.dist-info/gpl-3.0.txt,sha256=IwGE9guuL-ryRPEKi6wFPI_zOhg7zDZbTYuHbSt_SAk,35823
cvc5-1.2.0.dist-info/lgpl-3.0.txt,sha256=fTqV5eBpeAZO0_jit8j4Ref9ikBSlHJ8xwj5TLg7gFk,7817
cvc5-1.2.0.dist-info/METADATA,sha256=iBnm8Pa1jumRHNZxVsk9L_I86p6fy74JlHZNG0wLOYE,609
cvc5-1.2.0.dist-info/minisat-LICENSE,sha256=9pteHVdQ5rBPYYoZifu8_aOeDN-ZzerXVa22YbGmwvk,1163
cvc5-1.2.0.dist-info/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5-1.2.0.dist-info/RECORD,,
cvc5-1.2.0.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-1.2.0.dist-info/WHEEL,sha256=fsW6--WFfuzX2scefE6JfcSZ5dXg5h59u8lqlpL5uuo,101
cvc5.libs/libcvc5-1ba5d1d65ad6946b3e01e194b488aaf6.dll,sha256=Hlv60utQJT3GjoaOoAD-3QboGXKzm7P-XUPxwt1V1as,30790275
cvc5.libs/libcvc5parser-14cfb8e24cb3454a9a163011be337e43.dll,sha256=ceEV1c1VM-p55p-foOVcH2-ETIHJk8nqxcNWiZ73yX0,1143553
cvc5.libs/libgcc_s_seh-1-b4f16c741f7f8f3e7b47c454060d2ad5.dll,sha256=8LPiLO8t2WN2Bzr6NmnRk1-tiMVOrD0gT294_r-ka3c,150707
cvc5.libs/libpoly-bed569ef74d7bc4dee1165bf20645738.dll,sha256=pf1UJbZE4-8GYjUjpMLUEQ9GVrbDFPItl87uG7Du_HU,1243670
cvc5.libs/libpolyxx-631fbbbc1d9f463f7f0e1971cd2aaee6.dll,sha256=cclSElMt65esqnw4SmoYYquuJG5Njt6TKW6YHPpsDwo,371049
cvc5.libs/libstdc++-6-3a4a808d3f5cb9bb9aac3943e37ae714.dll,sha256=ntJPztpHP2y_3Z4OUxto41jfpYq4sg9HolbHUpPqkA0,2409896
cvc5.libs/libwinpthread-1-d155b9ad2829f1a2cb64b761944e74cf.dll,sha256=UJG4WipzuCqjz0M_Ua8zj2JFMZ0cBBvCa0KmHL2y-IA,60798
