add installation instructions in readme

README.md

@@ -4,6 +4,29 @@
 
 _Solving satisfiability problems in Rust_
 
+## Installation
+
+1) Make sure to install the [Rust toolchain](https://www.rust-lang.org/tools/install).
+
+2) Clone the latest version of this repository:
+```
+$ git clone [email protected]:timbeurskens/rsbdd.git
+```
+
+3) Build and install the RsBDD tools:
+```
+$ cd rsbdd
+$ cargo install --bins --path .
+```
+
+The following tools will be available after installing the RsBDD package:
+
+- `max_clique_gen`
+- `n_queens_gen`
+- `random_graph_gen`
+- `rsbdd`
+- `sudoku_gen`
+
 ## Syntax
 
 ### Comments