z3

Z3 theorem prover

WWW CVSWeb GITHub
  1. Package version
    z3-4.12.2p0
  2. Maintainer
    The OpenBSD ports mailing-list

The Z3 Theorem Prover.

  • devel/cmake
  • devel/ninja
  • lang/python/3.10
  • devel/dwz

  • lang/python/3.10