From ee8ce8d9bf9ad0e3f1747ee7c1e6561f790f14c9 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Sun, 12 Apr 2020 03:07:56 +0100
Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?=
 =?UTF-8?q?=20README.md?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

diff --git a/README.md b/README.md
index cda810a..f80d78c 100644
--- a/README.md
+++ b/README.md
@@ -53,6 +53,7 @@ arg1: specifies method of creating threads or/and specifies if modelchecking sho
      * lc : using lace framework and applying canonization on nodes
      * otfL : perform modelchecking on the fly using laceframework
      * otfP : perform modelchecking on the fly using pthread
+     * otfC : perform modelchecking on the fly using c++17 algorithms and a work-stealing approach for the construction of aggregates
 arg2: specify the number of threads/workers to be created
 arg3: specify the net to build its SOG
 arg4: specify the LTL formula file
-- 
GitLab