From 2f7c16775d6e1f5052971d31b3dc6ae532c88fea Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sun, 29 Sep 2019 14:42:00 +0100
Subject: [PATCH] Readme

---
 README.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/README.md b/README.md
index ee16e29..16ae05d 100644
--- a/README.md
+++ b/README.md
@@ -24,3 +24,12 @@ To test the SMT module you can perform reachability verification of the scalable
 $ ./reactics smt examples/smt/chain_reaction.py 2 3 1
 ```
 
+### Reaction synthesis
+
+To test the reaction synthesis approach on a mutual exclution protocol modelling three processes run the following command:
+
+```
+./reactics smt examples/smt/mutex_param.py -n 3 -s 1 -o
+```
+
+`# EOF`