Open Source Development

 View Only

 Z3 Theorem Prover for Cobol under AIX

Ron Wellnitz's profile image
Ron Wellnitz posted Tue December 09, 2025 05:10 AM
Hello everyone,
 
is there any chance that you (IBM Open Source Team) could compile the tool https://github.com/Z3Prover/z3 for AIX and make it available in the AIX Open Source Toolbox? 
 
We would like to use the tool to test our Cobol programs on our AIX platform, but we lack the expertise to compile it ourselves. Or could you give us a few recommendations on how we could best approach this issue? 
 
Best regards,
 
Ron
Sumitra Dawn's profile image
Sumitra Dawn

For which version of AIX, you require this tool?

Ron Wellnitz's profile image
Ron Wellnitz

We currently running AIX 7.3 TL2 with DNF (AIX Toolbox) set up.