PyPI page
Home page
Author:
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 "...
Summary:
Natural Language (NL) to Linear Temporal Logic (LTL)
Latest version:
0.0.6
Required dependencies:
openai
|
pylogics
Optional dependencies:
codecov
|
markdown-include
|
mkdocs
|
pre-commit
|
pytest
|
pytest-cov
|
rasa
|
ruff
|
tox
Downloads last day:
1
Downloads last week:
13
Downloads last month:
89