Included link to *src/api*

rodrigodesalvobraz committed Feb 11, 2016

Included Java in the list of languages for which there is an API

rodrigodesalvobraz committed Feb 11, 2016

Updated FAQ (markdown)

Christoph M. Wintersteiger committed Apr 20, 2015

Updated Z3 FAQ (markdown)

Christoph M. Wintersteiger committed Apr 13, 2015