https://github.com/whitemech/pylogics
A Python library for logic formalisms representation and manipulation.
https://github.com/whitemech/pylogics
ldl ldlf ltl ltlf pldl pldlf pltl pltlf
Last synced: 5 months ago
JSON representation
A Python library for logic formalisms representation and manipulation.
- Host: GitHub
- URL: https://github.com/whitemech/pylogics
- Owner: whitemech
- License: mit
- Created: 2021-04-12T19:23:40.000Z (about 5 years ago)
- Default Branch: main
- Last Pushed: 2024-01-21T22:18:31.000Z (over 2 years ago)
- Last Synced: 2025-11-23T02:16:51.656Z (7 months ago)
- Topics: ldl, ldlf, ltl, ltlf, pldl, pldlf, pltl, pltlf
- Language: Python
- Homepage: https://whitemech.github.io/pylogics
- Size: 740 KB
- Stars: 16
- Watchers: 1
- Forks: 5
- Open Issues: 8
-
Metadata Files:
- Readme: README.md
- Changelog: HISTORY.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Support: docs/supported_logics.md
- Authors: AUTHORS.md
Awesome Lists containing this project
README
PyLogics
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 MIT License.
Copyright 2021-2024 The Pylogics contributors
## Authors
- [Marco Favorito](https://github.com/marcofavorito)