Z3: Theorem Prover
See main
wiki
page.
The API documentation is available
here
.
Slides
.
Papers
.