#!/bin/sh

Z3_PATH="$HOME/.wine/drive_c/Program Files/Microsoft Research/Z3-2.3/bin/z3.exe"

ARGS=

for p in "$@"
do
  if [ -e "$p" ]
  then
    p=$(winepath -w "$p")
  else
    p=$(echo "$p" | sed 's/^-/\//')
  fi
  ARGS="$ARGS $p"
done

wine "$Z3_PATH" $ARGS