summaryrefslogtreecommitdiff
path: root/math/petanque/pkg-descr
blob: 7367ac1257506acbb0c68da2d8ccccc45a772add (plain) (blame)
1
petanque is a library that helps manipulate symbolic boolean expressions.