#!/bin/sh
: ${Z3=/usr/local/openjml/Solvers-windows/z3-4.7.1}
exec ${Z3} "$@"