Z3(1) - manual page | User commands

A state-of-the art theorem prover from Microsoft Research.