Computes innocent exclusion/inclusions exhaustivity
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.
Release history Release notifications | RSS feed
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)
Built Distribution
Exh-1.1.2-py3-none-any.whl
(27.4 kB
view details)
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
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | e032813d7ff99308f00bc9ddd2636080aa878a2dc4bdec6a4c4cfe1c4b1312c8 |
|
| MD5 | bd9cd3cec56049b16b62f76f2c1facf6 |
|
| BLAKE2b-256 | 4ffad32525cd004f36ba4c6561520ff65c60f38f08075c850a7852935e3b3800 |
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
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | cf12bda21222a431a65c84f0426c00b13b00c421efb6fe598e41eb6d608d18be |
|
| MD5 | 85f775c212fb6ea698e15a49270a62e4 |
|
| BLAKE2b-256 | 3f42253c558af0daf10caf066d5e96c9375cbf3193c71a2e4f0c36807d2a7115 |
