From 2d2f2cd0dde98f5171f3aed4c727a0d129960af3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= 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