1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
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'
|
