Computes innocent exclusion/inclusions exhaustivity

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for KenyC from gravatar.com KenyC

Unverified details

These details have not been verified by PyPI
Project links
Meta
Report project as malware

Project description

Exh

Exh is a package for computing the exhaustification of logical formulas. You can write formulas in a convenient legible syntax. You can compute alternatives automatically. You can compute innocently excludable and includable alternatives.

A introductory tutorial can be found here. Other tutorials covering more advanced features and more complicated examples are available in the examples folder of the GitHub repository.

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for KenyC from gravatar.com KenyC

Unverified details

These details have not been verified by PyPI
Project links
Meta

Release history Release notifications | RSS feed

This version

1.1.2

1.1.1

1.1

1.0

0.7.3

0.7.2

0.7.1

0.7

0.6

0.5

0.4

0.3

0.2

Download files

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

Source Distribution

Exh-1.1.2.tar.gz (21.0 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

Exh-1.1.2-py3-none-any.whl (27.4 kB view details)

Uploaded Python 3

File details

Details for the file Exh-1.1.2.tar.gz.

File metadata

  • Download URL: Exh-1.1.2.tar.gz
  • Upload date:
  • Size: 21.0 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.4.1 importlib_metadata/4.8.1 pkginfo/1.7.1 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.61.2 CPython/3.9.5

File hashes

Hashes for Exh-1.1.2.tar.gz
Algorithm Hash digest
SHA256 e032813d7ff99308f00bc9ddd2636080aa878a2dc4bdec6a4c4cfe1c4b1312c8
MD5 bd9cd3cec56049b16b62f76f2c1facf6
BLAKE2b-256 4ffad32525cd004f36ba4c6561520ff65c60f38f08075c850a7852935e3b3800

See more details on using hashes here.

File details

Details for the file Exh-1.1.2-py3-none-any.whl.

File metadata

  • Download URL: Exh-1.1.2-py3-none-any.whl
  • Upload date:
  • Size: 27.4 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.4.1 importlib_metadata/4.8.1 pkginfo/1.7.1 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.61.2 CPython/3.9.5

File hashes

Hashes for Exh-1.1.2-py3-none-any.whl
Algorithm Hash digest
SHA256 cf12bda21222a431a65c84f0426c00b13b00c421efb6fe598e41eb6d608d18be
MD5 85f775c212fb6ea698e15a49270a62e4
BLAKE2b-256 3f42253c558af0daf10caf066d5e96c9375cbf3193c71a2e4f0c36807d2a7115

See more details on using hashes here.

Supported by

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