This installs Verum Axiom 2.20.0-dev.1 for all users of this computer into:

/Library/VerumAxiom

The ide and dzn commands are also made available on the terminal PATH (in /usr/local/bin). About 270 MB of disk space is required.