patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Document new default options in readme

Browse Source 
By default, completion, simplification, and integer variable detection
are now turned on by default. This updates the readme accordingly.
This commit is contained in:
Patrick Lühne 2018-05-04 16:09:04 +02:00
parent c199f609bd
commit 9566629237
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
README.md
View File

@ -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