From d2347ae0bb2eff728999d29d648aeea54a614b8e Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sun, 3 Mar 2019 22:41:27 +0000
Subject: [PATCH] README update

---
 README.md | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 55da7ee..82636e6 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,8 @@
-ReactICS
-========
+# ReactICS
 
 Reaction Systems Verification Toolkit
+
+The toolkit consists of two separate modules implementing:
+* BDD-based methods
+* SMT-based methods
+