Wheelodex » Projects » esbmc-ai

esbmc-ai

View on PyPI — Reverse Dependencies (0)

0.5.1 esbmc_ai-0.5.1-py3-none-any.whl

Wheel Details

Project: esbmc-ai
Version: 0.5.1
Filename: esbmc_ai-0.5.1-py3-none-any.whl
Download: [link]
Size: 44994
MD5: a6d8944a73531410404d04a1c450e340
SHA256: 59bdd677fd5d026441cae16ee99bdcf8504058bd9d9208d5a66760e8363d834f
Uploaded: 2024-06-14 13:47:33 +0000

dist-info

METADATA · WHEEL · RECORD · entry_points.txt

METADATA

Metadata-Version: 2.3
Name: esbmc_ai
Version: 0.5.1
Summary: LLM driven development and automatic repair kit.
Author-Email: Yiannis Charalambous <yiannis128[at]hotmail.com>
Project-Url: Homepage, https://github.com/Yiannis128/esbmc-ai
Project-Url: Source Code, https://github.com/Yiannis128/esbmc-ai
Project-Url: Documentation, https://github.com/Yiannis128/esbmc-ai/wiki
Project-Url: Issues, https://github.com/Yiannis128/esbmc-ai/issues
Keywords: AI,LLM,automated code repair,esbmc
Classifier: License :: OSI Approved :: GNU Affero General Public License v3
Classifier: Programming Language :: Python :: 3
Requires-Python: >=3.10
Requires-Dist: aiohttp
Requires-Dist: aiosignal
Requires-Dist: async-timeout
Requires-Dist: attrs
Requires-Dist: certifi
Requires-Dist: charset-normalizer
Requires-Dist: clang
Requires-Dist: frozenlist
Requires-Dist: idna
Requires-Dist: langchain
Requires-Dist: langchain-openai
Requires-Dist: libclang
Requires-Dist: multidict
Requires-Dist: openai
Requires-Dist: python-dotenv
Requires-Dist: regex
Requires-Dist: requests
Requires-Dist: tiktoken
Requires-Dist: urllib3
Requires-Dist: yarl
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 2147 characters]

WHEEL

Wheel-Version: 1.0
Generator: hatchling 1.22.4
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
esbmc_ai/__about__.py sha256=f48EdzVzFlgFKuuapnlc5XgcjpaXtj5pJVvrb94mdH8 96
esbmc_ai/__init__.py sha256=p_wdsJryRLqd9WdMOlT0nflad5Otx1_BthWgoL0nQmg 238
esbmc_ai/__main__.py sha256=ASXcwvxEsgTW4WXF-5Xr7akirbo1qNFjHk-SVZ6ur0Q 14558
esbmc_ai/ai_models.py sha256=o5oLOfzwmWr6pWswcrbfTbP4Bum-Ip4kgIZf8YRYqSc 14112
esbmc_ai/api_key_collection.py sha256=oe7w-B-eise1BUCnY8liWh4air8gaQ-5BM4p9y3zmLE 261
esbmc_ai/base_chat_interface.py sha256=h2qonnxZuPmkITh8iEPcyivEqiFPu1I76xvSEkSLLiA 4612
esbmc_ai/chat_response.py sha256=kAqhxOPsMDbHyYt8Bd_3-WQgig4fwc_fqKUjoub_n5A 1547
esbmc_ai/config.py sha256=pGMVw9GYvH3weGH0IXANDFClrPTGqlrVLqlWsuKERXA 15879
esbmc_ai/esbmc_util.py sha256=g9Hy5ow5Wy9r90aN8aR3nhq6zuLwWGP5wKdACcgw26E 5315
esbmc_ai/latest_state_solution_generator.py sha256=B7qXWt_W1sqV4Se56P-7kSuNSFUbNCDztzA2vuRVvhU 999
esbmc_ai/loading_widget.py sha256=tGCd5i2_jTRdmrx17o2BBLUsdCd_LP4bLrwdi9SmvMY 2487
esbmc_ai/logging.py sha256=i0VloFfdIFLySd_6NJpwIJmmHVQDiUoia1_LSVrIgHg 788
esbmc_ai/msg_bus.py sha256=Q1q-tKGx6s1RFUiy83rlmDHwoiXdfpC3qis-Pfvyjk8 414
esbmc_ai/optimize_code.py sha256=DBtjrPlGEnuqtm2z-mK0N8ywMeNJyz6qjFyBShDFOzI 1226
esbmc_ai/reverse_order_solution_generator.py sha256=oOZm3yAj9FyaI9DZK2nUM9CfcroBaSFa_4AWmZ8lxgc 876
esbmc_ai/solution_generator.py sha256=UNdCmDalk-Tr6m81izWZ4V7O6JhGfa5GS1s30f2C3W0 7622
esbmc_ai/user_chat.py sha256=VOpa5a542e3AJjHOJoMJEpBiDu83zr1kuhrnjURIONU 2271
esbmc_ai/commands/__init__.py sha256=dnwEWdtk6fL2P1YXDE4csX5P8h1vKROSbBNCyoidNnA 253
esbmc_ai/commands/chat_command.py sha256=4v41x6LhBw07ZSyxvHI8BKYwASC-MnB771cwXHr579k 565
esbmc_ai/commands/exit_command.py sha256=0rrEpWPWv_mSxrwOrx-2yZcmJ5bDIHpxsdSjpFKnXNU 458
esbmc_ai/commands/fix_code_command.py sha256=42HAIpAxA4_g8AjGxrQd4OS27yuxP_5pkByKd5H6DHQ 7546
esbmc_ai/commands/help_command.py sha256=XsEJp3I6kICSgXgZYbgIT_O-GtFL8nekfdCe-kFhwzk 912
esbmc_ai/frontend/__init__.py sha256=XXPsf8qYS6uNDr9rdKHchyFJAc4Eh-dA7IBsuwecTMM 31
esbmc_ai/frontend/solution.py sha256=mEPmDcaeVHxRdDeA-de6zwbLczL6WxQIGyAkRKSk03c 1667
esbmc_ai-0.5.1.dist-info/METADATA sha256=KhG1whXew-0RyySmjXzELXbgb50_JOOb1FEXlAw6CYg 3330
esbmc_ai-0.5.1.dist-info/WHEEL sha256=uNdcs2TADwSd5pVaP0Z_kcjcvvTUklh2S7bxZMF8Uj0 87
esbmc_ai-0.5.1.dist-info/entry_points.txt sha256=1MK2HelTlgEUn8-TSGlDUYNDZbAHIDoYnwhOulW7YKc 52
esbmc_ai-0.5.1.dist-info/licenses/LICENSE sha256=hIahDEOTzuHCU5J2nd07LWwkLW7Hko4UFO__ffsvB-8 34523
esbmc_ai-0.5.1.dist-info/RECORD — —

entry_points.txt

[console_scripts]
esbmc-ai = esbmc_ai.__main__:main