mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 02:15:19 +00:00
|
|
||
|---|---|---|
| .. | ||
| dead | ||
| config-debug.mk.in | ||
| config-release.mk.in | ||
| config-vs-debug-x64.mk | ||
| config-vs-debug.mk | ||
| config-vs-release-x64.mk | ||
| config-vs-release.mk | ||
| mk_exception.py | ||
| mk_make.py | ||
| mk_util.py | ||
| README | ||
| update_api.py | ||
Instructions for updating external Z3 API ----------------------------------------- The python "macros": def_Type() and def_API() are used to add new types and function definitions to the Z3 API. The .h files provided to `mk_bindings(API_files)` contain these definitions. See src\api\z3_api.h for many examples. The bindings for .Net and Python are generated when mk_make.py is invoked.