diff --git a/README.md b/README.md
index b0970cd..d1b31d3 100644
--- a/README.md
+++ b/README.md
@@ -2,6 +2,7 @@
 ## Installation
 ### Prerequisites
 * Java 8
+* CVC3 including the Java bindings for CVC3
 * Android SDK (do obtain dx.jar)
 
 ### Checkout