diff --git a/README.md b/README.md index b7a2fc4..80c3409 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -#Solver for ADFs grounded semantics by utilising OBDDs - ordered binary decision diagrams +# Solver for ADFs grounded semantics by utilising OBDDs - ordered binary decision diagrams ## Abstract Dialectical Frameworks