From 863e456af2c3e8c8640a82d025bded1f4e2d7d3b Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Sun, 3 Mar 2019 22:30:38 +0000 Subject: [PATCH] README --- README.md | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..55da7ee --- /dev/null +++ b/README.md @@ -0,0 +1,4 @@ +ReactICS +======== + +Reaction Systems Verification Toolkit