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
.