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.
Project details
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 hashes)
Built Distribution
Exh-1.1.2-py3-none-any.whl
(27.4 kB
view hashes)