mwweissmann/bes

boolean expression simplifier