From e2561014c65e1051b2153f64b91a774e5aca7de4 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sun, 29 Sep 2019 15:37:18 +0100
Subject: [PATCH] Readme

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

diff --git a/README.md b/README.md
index 4cdb1dc..ae3e8a1 100644
--- a/README.md
+++ b/README.md
@@ -3,8 +3,8 @@
 Reaction Systems Verification Toolkit
 
 The toolkit consists of two separate modules implementing:
-* BDD-based methods
-* SMT-based methods
+* Methods implemented using binary decision diagrams (BDD) for storing and manipulating the state space of the verified system.
+* Methods translating the verification problems into satisfiability modulo theories (SMT).
 
 ## Examples