Skip to main content

A Python library for logic formalisms representation and manipulation.

Project description

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 GNU Lesser General Public License v3.0 or later (LGPLv3+).

Copyright 2021 WhiteMech

Authors

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

pylogics-0.2.1.tar.gz (20.9 kB view details)

Uploaded Source

Built Distribution

pylogics-0.2.1-py3-none-any.whl (37.3 kB view details)

Uploaded Python 3

File details

Details for the file pylogics-0.2.1.tar.gz.

File metadata

  • Download URL: pylogics-0.2.1.tar.gz
  • Upload date:
  • Size: 20.9 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.9.16

File hashes

Hashes for pylogics-0.2.1.tar.gz
Algorithm Hash digest
SHA256 fdd9e15ba9f3d610616e92d22186ab55608d553ab80ae605f65828782e92d247
MD5 549c7a7e1ca4339dc5555566556ec361
BLAKE2b-256 a6c6de546cf7382b7385b3ca9a32ee9c6f683eee89b2aa25bafe1c2ca166dd54

See more details on using hashes here.

File details

Details for the file pylogics-0.2.1-py3-none-any.whl.

File metadata

  • Download URL: pylogics-0.2.1-py3-none-any.whl
  • Upload date:
  • Size: 37.3 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.9.16

File hashes

Hashes for pylogics-0.2.1-py3-none-any.whl
Algorithm Hash digest
SHA256 de536b6e335d30bc7956dfef89f281c4aaa1f787be7547450d613c8d268bf176
MD5 0b9d92357b70321cdd7cdfe61d89f0a2
BLAKE2b-256 ad29d144a2e9ba133ccbd77cdab4fecb440ac619575b62c3ebac627c7ae7cbf0

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page