#!/bin/sh
: ${OPENJML=/usr/local/openjml}
Z3=/usr/local/z3/bin/z3.exe
# Z3="$OPENJML/Solvers-windows/z3-4.3.2.exe"
java -cp `cygpath -w $OPENJML/openjml.jar` org.jmlspecs.openjml.Main -exec `cygpath -w $Z3` "$@"