From 40fd6b80a6688686a34ca33c004ebb409163d8ef Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Sat, 10 Feb 2018 12:50:45 +0000 Subject: [PATCH] README update: deps --- README.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index fe7bb0d..c7c926f 100644 --- a/README.md +++ b/README.md @@ -1 +1,5 @@ -# My project's README +# Dependencies + +Run `./build_cudd.sh` to build CUDD. + +