Metadata-Version: 2.1
Name: Exh
Version: 1.1.1
Summary: Computes innocent exclusion/inclusions exhaustivity
Home-page: http://github.com/KenyC/Exh
Author: Keny Chatain
Author-email: kchatain@mit.edu
License: MIT
Platform: UNKNOWN
Description-Content-Type: text/markdown
Requires-Dist: numpy
Requires-Dist: IPython

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


