petanque is a library that helps manipulate symbolic boolean expressions.