mirror of
https://github.com/Z3Prover/z3
synced 2025-04-04 16:44:07 +00:00
25 lines
593 B
Plaintext
25 lines
593 B
Plaintext
API documentation
|
|
-----------------
|
|
|
|
To generate the API documentation for the C, C++, .NET, Java and Python APIs, we must execute
|
|
|
|
python mk_api_doc.py
|
|
|
|
We must have doxygen installed in our system.
|
|
|
|
The documentation will be stored in the subdirectory './api/html'.
|
|
The main file is './api/html/index.html'
|
|
|
|
Code documentation
|
|
------------------
|
|
|
|
To generate documentation for the Z3 code, we must execute
|
|
|
|
doxygen z3code.dox
|
|
|
|
We must also have dot installed in our system.
|
|
|
|
The documentation will be store in the subdirectory './code/html'.
|
|
The main file is './code/html/index.html'
|
|
|