John,
 
I don't know if you have discovered it yet, but most Z3 programs will give
a short help if you type:
	filename //
	   or
	filename ?
This if very helpful when you haven't run it for some time and don't remember
the correct syntax or switches.  Also, some programs require an argument and
if not given will also give the help message.
 
Later, -- ken
ax or switche