z3-z3-4.13.0.scripts.README Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of z3-turnkey Show documentation

A self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.

There is a newer version: 4.13.4

Show newest version

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.