(C) 2012 by Tobias Gierke , licensed under Apache License 2.0, http://www.apache.org/licenses/LICENSE-2.0

This is just a pet project that eventually may become something useful... currently it only contains a recursive-descent parser for boolean terms and expressions,
will started on adding various transformations (negating terms and expressions, de morgan's law, simplifying expressions) soon...