11.1.3 Commandline

You can supply the GUI with various parameters upon startup using commandline arguments. Each argument has a long version (starting with a double dash) and, of its positive occurrence, a short version (starting with one dash):

• --help or --nohelp (short version: -h): Display an overview of the commandline arguments. Default: --nohelp.
• --grammars (-g): Select the list of grammar files which shall be compiled (and then merged). Default: no files.
• --examples (-e): Select the examples file. Default: first grammar file with suffix txt
• --input (-i): Supply the GUI with a sentence which is then copied to the solve text field and solved. Default: "".
• --search first, --search all, --search print or --search flatzinc (-s first, -s all, -s print or -s flatzinc): Specify whether the solver shall search only for the first solution, enumerate all solutions or print the propagators to a file. Default: --search all.
• --explorer explorer or --explorer iozsef or --explorer oracle (-x explorer or -x iozsef or -x oracle): Use either the Oz Explorer, IOzSeF or the oracle for search visualization.
• --port <Int> (-t): Set oracle port to <Int>. Default: 4711.
• --print inspect, --print browse, --print stdout or --print file: Specify the print procedure of the outputs. Default: --print inspect.
• --solutions <Int> (-u): Set maximum number of solutions to <Int> (for Save solving statistics...). Default: 1000.
• --failures <Int> (-u): Set maximum number of failures to <Int> (for Save solving statistics...). Default: 1000.
• --reco <Int> (-c): Set maximum recomputation distance to <Int> (for Save solving statistics...). Default: 5.
• --profile or --noprofile (-p): Toggle profiling (for Save solving statistics...). Default: noprofile.
• --outputs or --nooutputs (-o): Open all used outputs (for Save solving statistics...). Default: nooutputs.
• --debug or --nodebug (-d): Switch on the debug mode. Default: nodebug.
• --local or --nolocal (-l): Specify where to look for constraints and outputs. Default: --local if xdk.oz, xdk.ozf and xdk.exe are in the current directory, else --nolocal.