BoolStuff is a C++ library that supports a few operations on boolean expression binary trees - View it on GitHub