Documentación o tutorial de la API Java Z3

He instalado elZ3 API for Java y estoy tratando de usarlo, pero no puedo encontrar ningún tutorial o documentación que explique cómo usar esta API.

El único recurso que he encontrado hasta ahora es elcódigo fuente y elprograma de ejemplo, así que quería saber si alguien conocía alguna otra documentación / tutorial para elZ3 Java API.