<h1 align="center">
<b>PyLogics</b>
</h1>
<p align="center">
<a href="https://pypi.org/project/pylogics">
<img alt="PyPI" src="https://img.shields.io/pypi/v/pylogics">
</a>
<a href="https://pypi.org/project/pylogics">
<img alt="PyPI - Python Version" src="https://img.shields.io/pypi/pyversions/pylogics" />
</a>
<a href="">
<img alt="PyPI - Status" src="https://img.shields.io/pypi/status/pylogics" />
</a>
<a href="">
<img alt="PyPI - Implementation" src="https://img.shields.io/pypi/implementation/pylogics">
</a>
<a href="">
<img alt="PyPI - Wheel" src="https://img.shields.io/pypi/wheel/pylogics">
</a>
<a href="https://github.com/whitemech/pylogics/blob/master/LICENSE">
<img alt="GitHub" src="https://img.shields.io/github/license/whitemech/pylogics">
</a>
</p>
<p align="center">
<a href="">
<img alt="test" src="https://github.com/whitemech/pylogics/workflows/test/badge.svg">
</a>
<a href="">
<img alt="lint" src="https://github.com/whitemech/pylogics/workflows/lint/badge.svg">
</a>
<a href="">
<img alt="docs" src="https://github.com/whitemech/pylogics/workflows/docs/badge.svg">
</a>
<a href="https://codecov.io/gh/whitemech/pylogics">
<img alt="codecov" src="https://codecov.io/gh/whitemech/pylogics/branch/master/graph/badge.svg?token=FG3ATGP5P5">
</a>
</p>
<p align="center">
<a href="https://img.shields.io/badge/flake8-checked-blueviolet">
<img alt="" src="https://img.shields.io/badge/flake8-checked-blueviolet">
</a>
<a href="https://img.shields.io/badge/mypy-checked-blue">
<img alt="" src="https://img.shields.io/badge/mypy-checked-blue">
</a>
<a href="https://img.shields.io/badge/code%20style-black-black">
<img alt="black" src="https://img.shields.io/badge/code%20style-black-black" />
</a>
<a href="https://www.mkdocs.org/">
<img alt="" src="https://img.shields.io/badge/docs-mkdocs-9cf">
</a>
</p>
A Python library for logic formalisms representation and manipulation.
## Install
To install the package from PyPI:
```
pip install pylogics
```
## Tests
To run tests: `tox`
To run only the code tests: `tox -e py3.7`
To run only the linters:
- `tox -e flake8`
- `tox -e mypy`
- `tox -e black-check`
- `tox -e isort-check`
Please look at the `tox.ini` file for the full list of supported commands.
## Docs
To build the docs: `mkdocs build`
To view documentation in a browser: `mkdocs serve`
and then go to [http://localhost:8000](http://localhost:8000)
## License
pylogics is released under the GNU Lesser General Public License v3.0 or later (LGPLv3+).
Copyright 2021 WhiteMech
## Authors
- [Marco Favorito](https://github.com/marcofavorito)
Raw data
{
"_id": null,
"home_page": "https://whitemech.github.io/pylogics",
"name": "pylogics",
"maintainer": "",
"docs_url": null,
"requires_python": ">=3.8,<4.0",
"maintainer_email": "",
"keywords": "logic,propositional logic,predicate logic,temporal logic",
"author": "MarcoFavorito",
"author_email": "marco.favorito@gmail.com",
"download_url": "https://files.pythonhosted.org/packages/a6/c6/de546cf7382b7385b3ca9a32ee9c6f683eee89b2aa25bafe1c2ca166dd54/pylogics-0.2.1.tar.gz",
"platform": null,
"description": "<h1 align=\"center\">\n <b>PyLogics</b>\n</h1>\n\n<p align=\"center\">\n <a href=\"https://pypi.org/project/pylogics\">\n <img alt=\"PyPI\" src=\"https://img.shields.io/pypi/v/pylogics\">\n </a>\n <a href=\"https://pypi.org/project/pylogics\">\n <img alt=\"PyPI - Python Version\" src=\"https://img.shields.io/pypi/pyversions/pylogics\" />\n </a>\n <a href=\"\">\n <img alt=\"PyPI - Status\" src=\"https://img.shields.io/pypi/status/pylogics\" />\n </a>\n <a href=\"\">\n <img alt=\"PyPI - Implementation\" src=\"https://img.shields.io/pypi/implementation/pylogics\">\n </a>\n <a href=\"\">\n <img alt=\"PyPI - Wheel\" src=\"https://img.shields.io/pypi/wheel/pylogics\">\n </a>\n <a href=\"https://github.com/whitemech/pylogics/blob/master/LICENSE\">\n <img alt=\"GitHub\" src=\"https://img.shields.io/github/license/whitemech/pylogics\">\n </a>\n</p>\n<p align=\"center\">\n <a href=\"\">\n <img alt=\"test\" src=\"https://github.com/whitemech/pylogics/workflows/test/badge.svg\">\n </a>\n <a href=\"\">\n <img alt=\"lint\" src=\"https://github.com/whitemech/pylogics/workflows/lint/badge.svg\">\n </a>\n <a href=\"\">\n <img alt=\"docs\" src=\"https://github.com/whitemech/pylogics/workflows/docs/badge.svg\">\n </a>\n <a href=\"https://codecov.io/gh/whitemech/pylogics\">\n <img alt=\"codecov\" src=\"https://codecov.io/gh/whitemech/pylogics/branch/master/graph/badge.svg?token=FG3ATGP5P5\">\n </a>\n</p>\n<p align=\"center\">\n <a href=\"https://img.shields.io/badge/flake8-checked-blueviolet\">\n <img alt=\"\" src=\"https://img.shields.io/badge/flake8-checked-blueviolet\">\n </a>\n <a href=\"https://img.shields.io/badge/mypy-checked-blue\">\n <img alt=\"\" src=\"https://img.shields.io/badge/mypy-checked-blue\">\n </a>\n <a href=\"https://img.shields.io/badge/code%20style-black-black\">\n <img alt=\"black\" src=\"https://img.shields.io/badge/code%20style-black-black\" />\n </a>\n <a href=\"https://www.mkdocs.org/\">\n <img alt=\"\" src=\"https://img.shields.io/badge/docs-mkdocs-9cf\">\n </a>\n</p>\n\n\nA Python library for logic formalisms representation and manipulation.\n\n## Install\n\nTo install the package from PyPI:\n```\npip install pylogics\n```\n\n## Tests\n\nTo run tests: `tox`\n\nTo run only the code tests: `tox -e py3.7`\n\nTo run only the linters: \n- `tox -e flake8`\n- `tox -e mypy`\n- `tox -e black-check`\n- `tox -e isort-check`\n\nPlease look at the `tox.ini` file for the full list of supported commands. \n\n## Docs\n\nTo build the docs: `mkdocs build`\n\nTo view documentation in a browser: `mkdocs serve`\nand then go to [http://localhost:8000](http://localhost:8000)\n\n## License\n\npylogics is released under the GNU Lesser General Public License v3.0 or later (LGPLv3+).\n\nCopyright 2021 WhiteMech\n\n## Authors\n\n- [Marco Favorito](https://github.com/marcofavorito)\n\n",
"bugtrack_url": null,
"license": "LGPL-3.0-or-later",
"summary": "A Python library for logic formalisms representation and manipulation.",
"version": "0.2.1",
"project_urls": {
"Bug Tracker": "https://github.com/whitemech/pylogics/issues",
"Documentation": "https://whitemech.github.io/pylogics",
"Homepage": "https://whitemech.github.io/pylogics",
"Pull Requests": "https://github.com/whitemech/pylogics/pulls",
"Repository": "https://github.com/whitemech/pylogics.git"
},
"split_keywords": [
"logic",
"propositional logic",
"predicate logic",
"temporal logic"
],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "ad29d144a2e9ba133ccbd77cdab4fecb440ac619575b62c3ebac627c7ae7cbf0",
"md5": "0b9d92357b70321cdd7cdfe61d89f0a2",
"sha256": "de536b6e335d30bc7956dfef89f281c4aaa1f787be7547450d613c8d268bf176"
},
"downloads": -1,
"filename": "pylogics-0.2.1-py3-none-any.whl",
"has_sig": false,
"md5_digest": "0b9d92357b70321cdd7cdfe61d89f0a2",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8,<4.0",
"size": 37338,
"upload_time": "2023-06-06T08:26:44",
"upload_time_iso_8601": "2023-06-06T08:26:44.969924Z",
"url": "https://files.pythonhosted.org/packages/ad/29/d144a2e9ba133ccbd77cdab4fecb440ac619575b62c3ebac627c7ae7cbf0/pylogics-0.2.1-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "a6c6de546cf7382b7385b3ca9a32ee9c6f683eee89b2aa25bafe1c2ca166dd54",
"md5": "549c7a7e1ca4339dc5555566556ec361",
"sha256": "fdd9e15ba9f3d610616e92d22186ab55608d553ab80ae605f65828782e92d247"
},
"downloads": -1,
"filename": "pylogics-0.2.1.tar.gz",
"has_sig": false,
"md5_digest": "549c7a7e1ca4339dc5555566556ec361",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8,<4.0",
"size": 20878,
"upload_time": "2023-06-06T08:26:46",
"upload_time_iso_8601": "2023-06-06T08:26:46.615580Z",
"url": "https://files.pythonhosted.org/packages/a6/c6/de546cf7382b7385b3ca9a32ee9c6f683eee89b2aa25bafe1c2ca166dd54/pylogics-0.2.1.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-06-06 08:26:46",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "whitemech",
"github_project": "pylogics",
"travis_ci": false,
"coveralls": false,
"github_actions": true,
"tox": true,
"lcname": "pylogics"
}
JSON
