Z3: Theorem Prover

See main wiki page.

The API documentation is available here.