path: root/debian/bin/boogie

#!/bin/sh
exec /usr/bin/cli /usr/lib/boogie/Boogie.exe /z3exe:/usr/bin/z3 "$@"