Z3: Theorem Prover

See main wiki page.

The API documentation is available here.

Slides.

Papers.