Documentation for boolean_simplifier (1.0.0)