#!/bin/sh

chmod +x z3_linux
chmod +x z3_mac
java -jar LambdaDIFT.jar $@
