Update README.md

georgejkaye · Mar 22, 2017 · d653378 · d653378
1 parent 0e3c230
commit d653378
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -19,7 +19,8 @@ Model:
 I(P) = T, I(Q) = T, I(A) = T, I(B) = T
 Initial expression is SATISFIABLE```
 
-
+<h2> Source code and test cases </h2>
+Source code can be found at ```src/reasoning```. There are also a number of test cases at ```src\test```. 
 
 <h2> Modes </h2>
 <h3> Clause Normal Form conversion </h3>