path: root/math/petanque/pkg-descr

petanque is a library that helps manipulate symbolic boolean expressions.

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