From 2d2f2cd0dde98f5171f3aed4c727a0d129960af3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 23 Mar 2017 01:12:55 +0100
Subject: [PATCH] Updated change log with basic simplification features.

---
 CHANGELOG.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index b941daf..ab8b6cd 100644
--- 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