Z3 Microsoft Research
Command line options

Input format

Z3 understands a set of default file extensions, and will invoke a parser based on the extension.

You can tell Z3 explicitly which grammar the input belongs to by using the following options:


The available INI parameters can also be supplied on the command line as a pair parameter-name=parameter-value.



Search heuristics

Last modified Fri Oct 5 2012 11:32:37