These two fields allow to specify a different default assignee for ticket opened against this package in bugzilla. Note: The EPEL field is always displayed for packages in the 'rpms' namespace regardless of whether it is used in bugzilla or not.
rawhide
7581983
Z3 is a theorem prover from Microsoft Research. If you are not familiar with Z3, you can start here.
Jerry James