Update README.md

chsticksel · Oct 29, 2013 · 3c4ef41 · 3c4ef41
1 parent b92745f
commit 3c4ef41
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -8,3 +8,8 @@ The bindings only deal with the QF_EUF theory, but all building blocks should be
 Set the correct paths to the CVC4 libraries and include files in the Makefile.
 
 To build the library do ```make```, to build an example file, do ```make cvc4_test``` and generate some documentation with ```make doc```.
+
+Contact
+-------
+
+christoph-sticksel@uiowa.edu