From 31d4a2049156477058b75c3ce3cf8047df9c6140 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 11 Apr 2018 21:50:15 +0200 Subject: [PATCH] Update change log with recent additions This updates the change log with the advanced simplification rules, support for the exponentation operator, and the newly added examples. --- CHANGELOG.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index a466dfe..8945930 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,12 @@ ## (unreleased) +### Features + +* more and advanced simplification rules +* adds support for exponentiation operator +* new examples: prime numbers, permutation generator, and graph coloring (extended) + ## 0.1.7 (2018-04-08) ### Features