petanque is a library that helps manipulate symbolic boolean expressions.

WWW: https://github.com/quarkslab/arybo/tree/master/petanque
