#/bin/sh

export PYTHONPATH=$Z3DIR/bin:$Z3DIR/lib/python2.7/dist-packages:$IVYDIR/ivy/core:$IVYDIR/ivy/tkui:$IVYDIR/ivy

python $@
