Back to HomePage.
Usage
Translator
XXX TODO
Preprocessor
XXX TODO
Search component
search [OPTIONS] {-s|--search} SEARCH < OUTPUT
SEARCH (SearchEngine): configuration of the search algorithm
OUTPUT (filename): preprocessor output
Options:
-h, --heuristic HEURISTIC_PREDEFINITION
- Predefines a heuristic that can afterwards be referenced by the name that is specified in the definition.
-r, --random-seed SEED
- Use random seed SEED