Skip to content

A Python library for logic formalisms representation and manipulation.

License

Notifications You must be signed in to change notification settings

whitemech/pylogics

Repository files navigation

PyLogics

PyPI PyPI - Python Version PyPI - Status PyPI - Implementation PyPI - Wheel GitHub

test lint docs codecov

black

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

License

pylogics is released under the MIT License.

Copyright 2021-2024 The Pylogics contributors

Authors