Directories:
- boole: the Boole python library
- docs
- examples
To use the Boole library, make sure the boole directory is in your Python path. For example, in Linux, use:
export PYTHONPATH=[path-to-boole]:$PYTHONPATH
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.
export SAGE_PATH=[path-to-boole]:$SAGE_PATH
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.:
python example.py
The files with extension ipynb are ipython notebooks. With ipython installed, type
ipython notebook
and then open the corresponding notebook from the browser.
To try the Sage examples, run Sage in the examples directory, and enter:
attach('sage_examples.py') sage_examples()