boolean_algebra_engine
