pkg-descr « py-pytanque « math - ports.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/math/py-pytanque/pkg-descr

blob: 637cff268e8495f30f290f901cc1368eae0cfee5 (plain) (blame)

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

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