semvec/pypi-packages huggingface dataset:
Exh 1.1.2
Computes innocent exclusion/inclusions exhaustivity
License: MIT

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](https://github.com/KenyC/Exh/blob/master/examples/tutorial/Tutorial.ipynb).
Other tutorials covering more advanced features and more complicated examples are  available in [the `examples` folder of the GitHub repository](https://github.com/KenyC/Exh/tree/master/examples).