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

These details have not been verified by PyPI

Project links

Homepage

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Release history Release notifications | RSS feed

This version

1.1.2

Oct 14, 2021

1.1.1

Oct 14, 2021

1.1

Oct 14, 2021

1.0

Dec 13, 2020

0.7.3

Aug 5, 2020

0.7.2

Jul 9, 2020

0.7.1

Jul 2, 2020

0.7

Jun 30, 2020

0.6

Jun 18, 2020

0.5

Jun 16, 2020

0.4

Jun 14, 2020

0.3

Jun 13, 2020

0.2

Jun 12, 2020

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 hashes)

Uploaded Oct 14, 2021 Source

Built Distribution

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

Uploaded Oct 14, 2021 Python 3

Hashes for Exh-1.1.2.tar.gz

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

Hashes for Exh-1.1.2-py3-none-any.whl

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