From 9566629237e419fca736a562b5f6e361d24c6ece Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Fri, 4 May 2018 16:09:04 +0200 Subject: [PATCH] Document new default options in readme By default, completion, simplification, and integer variable detection are now turned on by default. This updates the readme accordingly. --- README.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index d496fa2..8328a06 100644 --- a/README.md +++ b/README.md @@ -9,11 +9,12 @@ ## Usage ```bash -$ anthem [--complete] [--simplify] file... +$ anthem [--no-complete] [--no-simplify] [--no-detect-integers] file... ``` -`--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. +By default, `anthem` performs Clark’s completion on the translated formulas, detects which variables are integer, and simplifies the output by applying several basic transformation rules. + +These processing steps can be turned off with the options `--no-complete`, `--no-simplify`, and `--no-detect-integers`. ## Building