Python binding for petanque, a library that helps manipulate symbolic boolean
expressions.