Update README.md

sybila · Feb 7, 2020 · 065f79f · 065f79f
1 parent edcd9a2
commit 065f79f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -42,5 +42,5 @@ fn demo() {
 ```
 
 Additionally, we provide serialisation into a custom string and binary formats as well as `.dot`.
-For a more detailed description, see the tutorial module in documentation.
-
+For a more detailed description, see the [tutorial module](./tutorial/index.html) documentation.
+There is also an experimental support for converting BDDs back into boolean expressions.