From 6fcbd888d229f6d19687ea0a2299cd3147e223dc Mon Sep 17 00:00:00 2001 From: Ilya Sergey Date: Sat, 29 May 2021 00:17:52 +0800 Subject: [PATCH] README updated --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 3d2564b96..85a525481 100644 --- a/README.md +++ b/README.md @@ -33,10 +33,10 @@ The most up to date statistics on the benchmarks can be found under the folder ` ## Online Interface -The easiest way to try out examples is via the [online demo](http://comcom.csail.mit.edu/comcom/#SuSLik). +The easiest way to try out basic examples is via the [online demo](http://comcom.csail.mit.edu/comcom/#SuSLik). -However, this will only work with examples of the first version of the tool (0.1, of 10 Nov 2018). For later versions, -please check the artifacts referred above or follow the building instructions below. +However, this will only work with examples of the first version of the tool (0.1, of 10 Nov 2018). For later versions +and more advanced examples please check the artifacts referred above or follow the building instructions below. ## Setup and Build