cvc5/cvc5_python_base.cp38-win_amd64.pyd,sha256=cU3zh3tk3wPFLn0Ivz2Qp4tHMIqk5Nu-uhJrVY68OiI,1574912
cvc5/__init__.py,sha256=t3vvYJGt48AyGshkTFn_ZkZ7jD0yRF4ONXvg1f3cIOM,1666
cvc5/pythonic/cvc5_pythonic.py,sha256=vS8PcIlvBgmusrLOs4ijssOjpW-doxpQWpFOZ-cJMM4,245421
cvc5/pythonic/cvc5_pythonic_printer.py,sha256=zpPW78W5iEduYsTc4nBi19YLZX3N9NEFj7Yxsx4YRLU,42393
cvc5/pythonic/__init__.py,sha256=xYBu7h3ijdCgB-GB30Cdp01E5cwlOFjgjjMREQ9cJSU,29
cvc5-1.3.1.dist-info/COPYING,sha256=IVU1ejan_EThBmuvahQ7p1wAIewVu20ZPwl80ctAez8,6144
cvc5-1.3.1.dist-info/DELVEWHEEL,sha256=vIeRqzPI_lP5SNWFvT5w6gsNXsP2pKsh064i9WIvC8E,471
cvc5-1.3.1.dist-info/GCC-exception-3.1.txt,sha256=kAd7owbunY7ZZsqxtKvWm25yis8Id3KDzFAoPNlQP6Y,3397
cvc5-1.3.1.dist-info/gpl-3.0.txt,sha256=IwGE9guuL-ryRPEKi6wFPI_zOhg7zDZbTYuHbSt_SAk,35823
cvc5-1.3.1.dist-info/lgpl-3.0.txt,sha256=fTqV5eBpeAZO0_jit8j4Ref9ikBSlHJ8xwj5TLg7gFk,7817
cvc5-1.3.1.dist-info/METADATA,sha256=LKR_qfTExqh_wGE3gugxiiLu5HmoLwG3aQWPz8agPbY,738
cvc5-1.3.1.dist-info/minisat-LICENSE,sha256=9pteHVdQ5rBPYYoZifu8_aOeDN-ZzerXVa22YbGmwvk,1163
cvc5-1.3.1.dist-info/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5-1.3.1.dist-info/RECORD,,
cvc5-1.3.1.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-1.3.1.dist-info/WHEEL,sha256=2M046GvC9RLU1f1TWyM-2sB7cRKLhAC7ucAFK8l8f24,99
cvc5-1.3.1.dist-info/winpthreads-LICENSE,sha256=HI0jBjw3crlDWDFBCzG1H-89nPITikQtw2fvXXIjn2c,2940
cvc5.libs/.load-order-cvc5-1.3.1,sha256=fTsZhwcrVnyCRGy_qjyX2zqAjGJe46RRy010FCx03g4,342
cvc5.libs/libcvc5-989efad387f3709652aa20ac0bc8ead2.dll,sha256=D7JBONJMmApQGSjUpi1dodhucev09iarLfu1uFAHvZc,33255917
cvc5.libs/libcvc5parser-4dcd14b7e5f58acabe0fc8c3172c12e8.dll,sha256=iRerAYY1hIg6GCymY7NZ3O33ZdUhgIEWJw-EImhAq58,1204375
cvc5.libs/libgcc_s_seh-1-13459b923c2c018d099c8c1117605f11.dll,sha256=uOVXO8l_aqIAv5DYo-mY-yek1Njepye1r46-AA5GOqg,150196
cvc5.libs/libpoly-4023557c3a3e42c6cea39c51e9e7fd30.dll,sha256=aGnnVv6mBvnwUWQr7DGsL80MXRazQ-WSokMHKsPLDPc,1307037
cvc5.libs/libpolyxx-a26e4538fbd1a673bd83aeb87865b3d6.dll,sha256=uOehnkfGl1vfcT7UX_r5Px13ShjvgZvyxrzOeNpYbxA,389564
cvc5.libs/libstdc++-6-42088ae66fb29d23742d61aa10af2a83.dll,sha256=kMh-1LZkS7E-4Ci-ysRNWg98dTfSyWWYlhmCJ_eJh2A,2461848
cvc5.libs/libwinpthread-1-0fbc53ddee6dd9f37fe954238a69674f.dll,sha256=PqzMYWcEnOfAgOYYNM9ReXpalyAC3-ixYhjhOj__LmI,64403
