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

Updated change log with recent bug fix.

Browse Source
This commit is contained in:
Patrick Lühne
2017-03-23 02:14:10 +01:00
parent 906f83a527
commit 7bb78656f4
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
CHANGELOG.md
View File

@@ -7,6 +7,10 @@ Features:
* basic simplification of output formulas (optional) * basic simplification of output formulas (optional)
* command-line option `--simplify` to turn on simplification * command-line option `--simplify` to turn on simplification
Bug Fixes:
* fixes incorrectly translated choice rules with multiple elements in the head aggregate
Internal: Internal:
* explicit syntax tree representation for first-order formulas * explicit syntax tree representation for first-order formulas