mirror of
https://github.com/Z3Prover/z3
synced 2026-06-08 12:59:34 +00:00
Leonardo de Moura
API documentation ----------------- To generate the API documentation for the C, .NET and Python APIs, we must execute python mk_doc.py We must have doxygen installed in our system. The documentation will be stored in the subdirectory './html'. The main file is './html/index.html'