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

Merge branch 'develop' of github.com:potassco/anthem into fix-disjunctions

Browse Source
This commit is contained in:
Patrick Lühne
2017-03-23 02:13:00 +01:00
parent 09c2674148 2d2f2cd0dd
commit 906f83a527
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
CHANGELOG.md
View File

@@ -2,6 +2,11 @@
## (unreleased) ## (unreleased)
Features:
* basic simplification of output formulas (optional)
* command-line option `--simplify` to turn on simplification
Internal: Internal:
* explicit syntax tree representation for first-order formulas * explicit syntax tree representation for first-order formulas