Skip to main content

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

Metadata

Release files for pylogics 0.2.1

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for pylogics 0.2.1
File Size Uploaded
pylogics-0.2.1.tar.gz 20.9 kB Details

Built distribution (wheel)

Table of built distributions (wheels) for pylogics 0.2.1
File Interpreter ABI Platform
pylogics-0.2.1-py3-none-any.whl Python 3 none any Details

Total release size: 58.2 kB

Release files / pylogics-0.2.1.tar.gz

Download URL pylogics-0.2.1.tar.gz
Size 20.9 kB
Tags Source
SHA-256 checksum
How to use checksums
fdd9e15ba9f3d610616e92d22186ab55608d553ab80ae605f65828782e92d247
BLAKE2b-256 checksum
How to use checksums
a6c6de546cf7382b7385b3ca9a32ee9c6f683eee89b2aa25bafe1c2ca166dd54
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/4.0.2 CPython/3.9.16

Release files / pylogics-0.2.1-py3-none-any.whl

Download URL pylogics-0.2.1-py3-none-any.whl
Size 37.3 kB
Tags Python 3
SHA-256 checksum
How to use checksums
de536b6e335d30bc7956dfef89f281c4aaa1f787be7547450d613c8d268bf176
BLAKE2b-256 checksum
How to use checksums
ad29d144a2e9ba133ccbd77cdab4fecb440ac619575b62c3ebac627c7ae7cbf0
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/4.0.2 CPython/3.9.16

Release history Release notifications | RSS feed

This release

0.2.1 This release

2 release files

0.2.0

2 release files

0.1.1

2 release files

0.1.0

2 release files

0.0.1

2 release files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page