Documentation for boolean_simplifier (1.0.1)