The Boole Interactive Reasoning Assistant
- boole: the Boole python library
To use the Boole library, make sure the boole directory is in your Python path. For example, in Linux, use:
Similarly, if you plan to call Z3 from Boole, make sure the Z3 Python bindings are in your Python path.
To use Boole from Sage, make sure the boole directory is in your Sage path, e.g.
and then run Sage as usual. If you plan to call Z3, make sure the Z3 Python bindings in your Sage path as well.
The files in the examples directory can be executing by typing, e.g.:
The files with extension ipynb are ipython notebooks. With ipython installed, type
and then open the corresponding notebook from the browser.
To try the Sage examples, run Sage in the examples directory, and enter: