pytanque (pypi): petanque static python bindings
Keywords: symbolic|computation|canonicalization|boolean-arithmetic|expressions