Z3 Java API documentation

Question

I have installed the Z3 API for Java and I am trying to use it but I can\'t find any documentation that explains how to use this API.

The only resource

Answer 1

You can find the API reference at https://z3prover.github.io/api/html/namespacecom_1_1microsoft_1_1z3.html