Z3 Java API Dokumentation oder Tutorial
Ich habe das installiertZ3 API for Java
und ich versuche es zu benutzen, aber ich kann keine Anleitung oder Dokumentation finden, die erklärt, wie man diese API benutzt.
Die einzige Ressource, die ich bisher gefunden habe, ist dieQuellcode und dasBeispielprogrammIch wollte also wissen, ob jemand Kenntnis von einer anderen Dokumentation / einem anderen Tutorial für dieZ3 Java API
.