Я установилZ3 API for Java и я пытаюсь использовать его, но я не могу найти учебник или документацию, объясняющую, как использовать этот API.

Единственный ресурс, который я нашел, этоисходный код ипример программы, поэтому я хотел бы знать, если кто-нибудь знал о какой-либо другой документации / учебник дляZ3 Java API.