Skip to content

Latest commit

 

History

History
executable file
·
6 lines (5 loc) · 207 Bytes

setup-z3-macos.sh

File metadata and controls

executable file
·
6 lines (5 loc) · 207 Bytes