z3 / scripts /

Filename Size Date modified Message
391 B
442 B
439 B
709 B
708 B
596 B
720 B
320 B
454 B
4.5 KB
52.1 KB
7.4 KB
23.5 KB
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 is invoked.