My previous post was deleted from the main page of the game (don't know why though). Tried the z3 with Spatterlight on MacOS, but after 2-3 commands I get the following message:
"fatal error: abbreviation being used recursively (pc = 0x9c32)" and the game stops.
Any ideas?