From 060874834984ecf024a7c79c760c6f40bddae226 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 11 Apr 2018 23:21:56 +0200 Subject: [PATCH] Describe --complete option in readme MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The readme was missing information on the --complete option. This adds a brief mention of Clark’s completion to the readme. --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index de3af7c..d496fa2 100644 --- a/README.md +++ b/README.md @@ -9,10 +9,11 @@ ## Usage ```bash -$ anthem [--simplify] file... +$ anthem [--complete] [--simplify] file... ``` -With the option `--simplify`, output formulas are simplified by applying several basic transformation rules. +`--complete` instructs `anthem` to perform Clark’s completion on the translated formulas. +With the option `--simplify`, the output formulas are simplified by applying several basic transformation rules. ## Building