From 3237c2eae5e0e5a195f8e3d6a21e80de6eb68a21 Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Mon, 5 May 2025 14:27:07 +0100 Subject: [PATCH] Clean-up --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index ee1bf24..d9f809e 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,8 @@ Reaction Systems Verification Toolkit The toolkit consists of two separate modules implementing: -* Methods implemented using binary decision diagrams (BDD) for storing and manipulating the state space of the verified system. + +* Methods 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). See: https://reactics.org