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
+