This is the z3 dependency for UAFX, I have to attach it here since there are some big files and I want to avoid the hassle of github LFS...

Usage
Extract the attached z3.zip, then put the z3 folder under uafx/llvm_analysis/MainAnalysisPasses/.