4bdd5ae Enable Z3 on Fedora builds

Authored and Committed by c72578 3 years ago
    Enable Z3 on Fedora builds
    
    Remark: Z3 is not available under epel 7 or epel 8
    However, add general support for epel 8 to the spec file
    in addition to epel 7 using "%if 0%{?rhel} >= 7"
    
        
file modified
+9 -6