diff --git a/README.md b/README.md index c58edbf..92247c1 100644 --- 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