diff --git a/Home.md b/Home.md index 33a4072..47d7565 100644 --- a/Home.md +++ b/Home.md @@ -1,2 +1,5 @@ Welcome to the adf-obdd wiki! +This is currently just a scratch-pad for different results and outputs to share with other collaborators. + +[[LOG-of-first-big-tests]] \ No newline at end of file