z3 theorem prover
The Z3 Theorem Prover.

Maintainer: The OpenBSD ports mailing-list <ports@openbsd.org>

WWW: https://github.com/Z3Prover/z3
