This section is about the standalone solver of the XDK
(xdks). It outputs solving statistics in XML format (DTD:
Extras/statistics.dtd). Unix users can use the shell script
diffnotime to compare two solving statistics without taking the
solving time into account (e.g. to spot the differences with respect
to solutions, choices and failures).
These are the commandline arguments of xdks:
--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: "".
--input (-i): Supply a sentence
(which is then appended to the examples). 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.
--solutions <Int> (-u): Set maximum number of solutions to
<Int>. Default: 1000.
--failures <Int> (-u): Set maximum number of failures to
<Int>. Default: 1000.
--reco <Int> (-c): Set maximum recomputation distance to
<Int>. Default: 5.
--profile or --noprofile (-p): Toggle profiling
Default: noprofile.
--outputs or --nooutputs (-o): Open all used outputs.
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.