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.

Metadata

Release files for Exh 1.1.2

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

Source distribution (sdist)

Source distribution for Exh 1.1.2
File	Size	Uploaded
Exh-1.1.2.tar.gz	21.0 kB	Oct 14, 2021	Details

Built distribution (wheel)

Table of built distributions (wheels) for Exh 1.1.2
File	Interpreter	ABI	Platform	Reset
Exh-1.1.2-py3-none-any.whl 27.4 kB Oct 14, 2021	Python 3	none	any	Details

Total release size: 48.4 kB

Release files / Exh-1.1.2.tar.gz

Download URL	Exh-1.1.2.tar.gz
Size	21.0 kB
Tags	Source
SHA-256 checksum How to use checksums	`e032813d7ff99308f00bc9ddd2636080aa878a2dc4bdec6a4c4cfe1c4b1312c8`
BLAKE2b-256 checksum How to use checksums	`4ffad32525cd004f36ba4c6561520ff65c60f38f08075c850a7852935e3b3800`
Upload date	Oct 14, 2021
Uploaded using Trusted Publishing? What is 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`

Release files / Exh-1.1.2-py3-none-any.whl

Download URL	Exh-1.1.2-py3-none-any.whl
Size	27.4 kB
Tags	Python 3
SHA-256 checksum How to use checksums	`cf12bda21222a431a65c84f0426c00b13b00c421efb6fe598e41eb6d608d18be`
BLAKE2b-256 checksum How to use checksums	`3f42253c558af0daf10caf066d5e96c9375cbf3193c71a2e4f0c36807d2a7115`
Upload date	Oct 14, 2021
Uploaded using Trusted Publishing? What is 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`