A Python library for first-order logic

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for Edward-Ji from gravatar.com Edward-Ji

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: MIT License
  • Author: Edward Ji
  • Requires: Python >=3.8
Classifiers

Project description

LogicLib

A Python library for propositional and predicate logic.

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for Edward-Ji from gravatar.com Edward-Ji

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: MIT License
  • Author: Edward Ji
  • Requires: Python >=3.8
Classifiers

Release history Release notifications | RSS feed

This version

0.0.1.post5

0.0.1.post4 yanked

Reason this release was yanked:

missing dependencies

0.0.1.post3 yanked

Reason this release was yanked:

this was for testing

0.0.1.post2 yanked

Reason this release was yanked:

this was for testing

0.0.1.post1 yanked

Reason this release was yanked:

this was for testing

Download files

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

Source Distribution

logiclib-0.0.1.post5.tar.gz (12.6 kB view details)

Uploaded Source

Built Distribution

logiclib-0.0.1.post5-py3-none-any.whl (4.7 kB view details)

Uploaded Python 3

File details

Details for the file logiclib-0.0.1.post5.tar.gz.

File metadata

  • Download URL: logiclib-0.0.1.post5.tar.gz
  • Upload date:
  • Size: 12.6 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/4.0.2 CPython/3.11.6

File hashes

Hashes for logiclib-0.0.1.post5.tar.gz
Algorithm Hash digest
SHA256 f7ff0519933153177dd08c7c55a026a0c806534948c4317fe71f8cf05a30d92c
MD5 a3533bb5a609177006056a3966aa92fa
BLAKE2b-256 16c91621138da29d21d53f3c1d8aa08d0c20134590398afd8afe0171daff0c89

See more details on using hashes here.

File details

Details for the file logiclib-0.0.1.post5-py3-none-any.whl.

File metadata

File hashes

Hashes for logiclib-0.0.1.post5-py3-none-any.whl
Algorithm Hash digest
SHA256 59e35e0c4105f2f38e2f3ebd9c3c5643effaa882ab4e4d4b5e426af534c4c820
MD5 66611a51dc325981b4582588eb6cb562
BLAKE2b-256 cb37c1e0310d368f5d74fb5d99a4b4281674ba76cb799fb92750873261ff16d0

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