From d03638919aa74fd03903be947daa8f77c448fa28 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sun, 14 Aug 2016 16:34:39 +0200 Subject: [PATCH] Added more detail to the command-line interface documentation. --- README.md | 2 ++ doc/command-line-interface.md | 3 +++ 2 files changed, 5 insertions(+) diff --git a/README.md b/README.md index e8fbcf7..beba9b2 100644 --- a/README.md +++ b/README.md @@ -49,11 +49,13 @@ $ plasp [files] [options] ``` `plasp` automatically detects the language of the input program. + See [command-line interface](doc/command-line-interface.md) for more detail. ## Output Format `plasp` provides a uniform output format for SAS and PDDL input problems. + See [output format](doc/output-format.md) for more detail. If you want to write your own meta encoding for `plasp`’s output, this [simple example encoding](encodings/sequential-incremental.lp) gets you started. diff --git a/doc/command-line-interface.md b/doc/command-line-interface.md index f3a09fe..5b4715f 100644 --- a/doc/command-line-interface.md +++ b/doc/command-line-interface.md @@ -4,6 +4,9 @@ $ plasp [files] [options] ``` +`plasp` automatically detects the language of the input files. +Multiple files may be provided in an arbitrary order. + `[files]` may be omitted, in which case the input is read from `std::cin`. The `[options]` are listed below: