cvc5/cvc5_python_base.cp39-win_amd64.pyd,sha256=OrWBUA5Oou4f4X4czReW326S7IduZiX7EbOcDH600is,1262592
cvc5/__init__.py,sha256=NYyKYDNPQkGw6r5LpUpg6qjkd8LsCUIES2bMG0Wkw8k,1666
cvc5/pythonic/cvc5_pythonic.py,sha256=IbRgDreweXew5bqke01b_5bV0INPcX3g6igACWRbkLI,255733
cvc5/pythonic/cvc5_pythonic_printer.py,sha256=vT05-oTvyKe2JbCgsqprfCz4kX95nT0qQqMIGA9FORQ,43671
cvc5/pythonic/__init__.py,sha256=xYBu7h3ijdCgB-GB30Cdp01E5cwlOFjgjjMREQ9cJSU,29
cvc5-1.4.0.dist-info/DELVEWHEEL,sha256=UxM69YS0hlUCU_mK9w3uEhSUY7g9SRDqxIlTM_WIZrk,471
cvc5-1.4.0.dist-info/METADATA,sha256=7VFVQEaz5LEaOEcB0dBrhyX-ugGdYPTrdcgCGM9F458,777
cvc5-1.4.0.dist-info/RECORD,,
cvc5-1.4.0.dist-info/top_level.txt,sha256=N536uT-ZzWFv5DKP7Uw-wpdKqMoBEzg-GxURQaETKjA,5
cvc5-1.4.0.dist-info/WHEEL,sha256=zuNlb9Um05hyCt8XRmFaVi795Ee7Bc9lOiOIpwTM7Gs,99
cvc5-1.4.0.dist-info/licenses/COPYING,sha256=yMxl65lw9LWNlofQ_QCgZYCg7vbNYmVy69cBHaaz2HE,7487
cvc5-1.4.0.dist-info/licenses/licenses/apache-2.0-with-llvm-exceptions.txt,sha256=p94ZEzjTKCV-zsW6Hqlx69Z2M9C0_OfWJyo5dJVH7Gs,17014
cvc5-1.4.0.dist-info/licenses/licenses/GCC-exception-3.1.txt,sha256=kAd7owbunY7ZZsqxtKvWm25yis8Id3KDzFAoPNlQP6Y,3397
cvc5-1.4.0.dist-info/licenses/licenses/gpl-3.0.txt,sha256=IwGE9guuL-ryRPEKi6wFPI_zOhg7zDZbTYuHbSt_SAk,35823
cvc5-1.4.0.dist-info/licenses/licenses/lgpl-3.0.txt,sha256=fTqV5eBpeAZO0_jit8j4Ref9ikBSlHJ8xwj5TLg7gFk,7817
cvc5-1.4.0.dist-info/licenses/licenses/minisat-LICENSE,sha256=9pteHVdQ5rBPYYoZifu8_aOeDN-ZzerXVa22YbGmwvk,1163
cvc5-1.4.0.dist-info/licenses/licenses/pythonic-LICENSE,sha256=ahKvcE_YsjQHGnmN-8xBthetRHrWum1N1-gJNH_mOBE,1253
cvc5.libs/.load-order-cvc5-1.4.0,sha256=AVxJ3Iuv-m3eXbjJqVa4n05kbMP8qYgnlTyDDyrBDz4,140
cvc5.libs/libc++-8a9deaac6d2f4d2de468a544d1f35cd0.dll,sha256=ip3qrG0vTS3kaKVE0fNc0N1LzeA82jz7dvuWdHSYKNQ,1659392
cvc5.libs/libcvc5-502234659f490b059ae71b8b7d8eea9c.dll,sha256=b3dQMGkPGEJUISKgQomfWgecMREQEZ5nuDfKtEY4AFk,30139904
cvc5.libs/libcvc5parser-05fd0d5fde83134b825444e3d18821e7.dll,sha256=9jDG22Rz1Qe63sTRH0t00Ssz7J3Zlx0UJOqjAsTPthc,908288
