Files
termux-packages/packages/z3