Wheelodex » Projects » nl2ltl

nl2ltl

View on PyPI — Reverse Dependencies (0)

0.0.6 nl2ltl-0.0.6-py3-none-any.whl

Wheel Details

Project: nl2ltl
Version: 0.0.6
Filename: nl2ltl-0.0.6-py3-none-any.whl
Download: [link]
Size: 21793
MD5: 65705fa1f9f03c811cc34e6f9ae9fa00
SHA256: 6b2dc063fa39661a741b57db771984361ed56ac49137750483d2bb832d5e4bc9
Uploaded: 2024-02-15 15:41:14 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: nl2ltl
Version: 0.0.6
Summary: Natural Language (NL) to Linear Temporal Logic (LTL)
Author-Email: Francesco Fuggitti <francesco.fuggitti[at]gmail.com>, Tathagata Chakraborti <tchakra2[at]ibm.com>
Project-Url: Repository, https://github.com/IBM/nl2ltl
Project-Url: Issues, https://github.com/IBM/nl2ltl/issues
License: MIT License Copyright (c) 2022 International Business Machines Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
Keywords: natural language processing,linear temporal logics,generative ai,large language models,process automation,conversational agents
Classifier: Development Status :: 2 - Pre-Alpha
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Science/Research
Classifier: Natural Language :: English
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3.10
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Classifier: Topic :: Scientific/Engineering :: Human Machine Interfaces
Classifier: Topic :: Scientific/Engineering :: Information Analysis
Requires-Python: <3.11,>=3.8
Requires-Dist: pylogics
Requires-Dist: openai (==1.12.0)
Requires-Dist: codecov; extra == "dev"
Requires-Dist: mkdocs; extra == "dev"
Requires-Dist: markdown-include; extra == "dev"
Requires-Dist: pre-commit; extra == "dev"
Requires-Dist: pytest; extra == "dev"
Requires-Dist: pytest-cov; extra == "dev"
Requires-Dist: ruff; extra == "dev"
Requires-Dist: tox (==3.27.1); extra == "dev"
Requires-Dist: rasa (==3.6.16); extra == "rasa"
Provides-Extra: dev
Provides-Extra: rasa
Description-Content-Type: text/markdown
License-File: LICENSE
License-File: AUTHORS.md
[Description omitted; length: 5882 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.42.0)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
nl2ltl/__init__.py sha256=B1qpAU9j_JQKDNW1IH0KbYxOl-CYR8M2zlEkR-CYTs0 119
nl2ltl/core.py sha256=ElPTVU1AhFVSYnKrNwSPp_HcMMbQ0IAzZMHPg7IiAUM 862
nl2ltl/exceptions.py sha256=7IeXknVSKwPYbH1PSt_1x6P1pfeqv2Zw2YpE8-EIlY4 752
nl2ltl/helpers.py sha256=PCAgpayuAA-xZH2ATCRUko8KHPdSwmrt5yV38xrjqRA 366
nl2ltl/declare/__init__.py sha256=jNmtRNvoy9O1UGS-BKETnzHmsVh3M5PT1505mB-t2uA 43
nl2ltl/declare/base.py sha256=H1V8e_j7FXLq7TXhvH0d59MxKJuDVKWl3DX4Sblg6DM 1294
nl2ltl/declare/declare.py sha256=LNf-sHPY3XrWRlPsq6fneiyRuJhf7C0nyCc51MEJsDQ 6888
nl2ltl/declare/misc.py sha256=EOszZ1NrBt03Y_4Hh51KWhSN1YFHiXKxtG3z1B35QpI 978
nl2ltl/engines/__init__.py sha256=7mZN8YajjZhOzI_ojVaNg1AkpepL6oh1mDygJtAk3u0 80
nl2ltl/engines/base.py sha256=VJoD5FwwPWvBnzIblmyarvh80RnB1Q59At4nXSbRU2U 1161
nl2ltl/engines/grounding.py sha256=PK_wftLpTx5KGp2ZppBs_k7GqHrDhYvkrygwEu00Dew 3752
nl2ltl/engines/utils.py sha256=0OfD5aene2AALSTltFB1vOkEdnRE5reJe1XZ5igiTT0 1673
nl2ltl/engines/gpt/__init__.py sha256=Ljxr2AR4HLUotrZsaF7Y-w2UOVDmH8pqIF-YCXe_aMY 179
nl2ltl/engines/gpt/core.py sha256=SJ2054fw07QocAqqy3cOxRC2c9NXjkbHZBLr20Od3Ho 5131
nl2ltl/engines/gpt/output.py sha256=mB6IMoaK7zOxx1u9OjlFuPt9miaYGh57klrCFwj0T5c 3199
nl2ltl/engines/rasa/__init__.py sha256=eJyKdJwegEgqiuu3xaDL1o862lE97IhBuqMTsMzJjV8 180
nl2ltl/engines/rasa/core.py sha256=GIc8tf8fmLtIVF01nTm1RsL8gundkgIch3FRkSjdTqs 3477
nl2ltl/engines/rasa/helpers.py sha256=0apS9JXUcaKBR2f1djLr6jlUmU9z4m_TmRLEDwbXy6U 397
nl2ltl/engines/rasa/output.py sha256=RxxwWdardDXLTmgyz6gzua3axDdgWakvIObXmgUGSZQ 2796
nl2ltl/filters/__init__.py sha256=rwXMpR0H3ZIlLnPDvSVSKGjokTwO2AWalEFoevovycg 33
nl2ltl/filters/base.py sha256=7yYCuqYVec2gn0IYMJeOLHGURADXKtmPP_b5rtjjazE 461
nl2ltl/filters/simple_filters.py sha256=wu_b4c8_LOVR5ks9h1rV6cT3QaSPsQhV4TRLg7je0y0 2065
nl2ltl/filters/utils/__init__.py sha256=e_x0BwgHHwyMF3O9r1fohii_m_H43gU6Iy5sgXH_1lM 21
nl2ltl/filters/utils/conflicts.py sha256=1BCXUGEvAjbqMkhVPhzpvs_FYv3K_5FonLlgra9lJAM 2368
nl2ltl/filters/utils/subsumptions.py sha256=VVjOA6ajWWJwZK1JIn1qDijc8h7M76-cxZNaBRlrNBo 2398
nl2ltl-0.0.6.dist-info/AUTHORS.md sha256=uS6SF5Ov_iF9_qKL6vNwV0Ywvz5wB64Ba8ihhuFyy-g 350
nl2ltl-0.0.6.dist-info/LICENSE sha256=avZ0at6UuE9jHDC2LTd6qOptiyz_D8rbLBdEL3HmYAM 1088
nl2ltl-0.0.6.dist-info/METADATA sha256=TWD83YpPtegTpHPfbPtgK9zs1ozSrA3maO5Jo6mV54c 8757
nl2ltl-0.0.6.dist-info/WHEEL sha256=oiQVh_5PnQM0E3gPdiz09WCNmwiHDMaGer_elqB3coM 92
nl2ltl-0.0.6.dist-info/top_level.txt sha256=enzlI5kogMp1LpqQoen1zmKAhaLzpC_6MiIjpGJdr2g 7
nl2ltl-0.0.6.dist-info/RECORD — —

top_level.txt

nl2ltl