From 6fb4acd46ff7557a74a160547df5996fde0dc3d7 Mon Sep 17 00:00:00 2001
From: Stefan Ellmauthaler <71695780+ellmau@users.noreply.github.com>
Date: Tue, 15 Mar 2022 12:40:43 +0100
Subject: [PATCH] Add contribution information in Readme

---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/README.md b/README.md
index d787920..27020d2 100644
--- a/README.md
+++ b/README.md
@@ -73,6 +73,11 @@ The binary predicate ac relates each statement to one propositional formula in p
 `adhoccounting` will cache the modelcount on-the-fly during the construction of the BDD
 
 # Development notes 
+Here some additional information for contribution, testing, and development in general can be found.
+## Contributing to the project
+You want to help and contribute to the project? That is great. Please see the [contributing guidelines](https://github.com/ellmau/adf-obdd/blob/main/.github/CONTRIBUTING.md) first.
+
+## Testing with the `res` folder:
 To run all the tests placed in the submodule you need to run
 ```bash
 $> git submodule init