Library that helps manipulate symbolic boolean expressions
