The file boolean1.py contains all the functions requisite for the search. The example run for Boolean rules in "file.txt" is executed in run.py. Update and evaluation of Boolean functions is done using the sufficient necessory framework laid out in files importlib.py and gprops.py.