Updated change log with basic simplification features.

2017-03-23 01:12:55 +01:00
parent 9084e72303
commit 2d2f2cd0dd
1 changed files with 5 additions and 0 deletions
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,11 @@

 ## (unreleased)

+Features:
+
+* basic simplification of output formulas (optional)
+* command-line option `--simplify` to turn on simplification
+
 Internal:

 * explicit syntax tree representation for first-order formulas