kevin set package pynac summary to manipulation of symbolic expressions To make changes to this package see: https://admin.fedoraproject.org/pkgdb/packages/name/pynac