Z3 Microsoft Research
Documentation

Legacy examples

The following examples are based on the old C API (Z3 3.x), but they can still be compiled with the new C API.

Online Tutorials

Slides

Introductory

Tutorials and Summer Schools

Technical presentations

Publications

Last modified Fri Oct 5 2012 11:32:37