{"schema_version":1,"metadata":{"branch":"release","release":"8.0","architecture":"amd64","generated_at":"2026-10-21T02:35:53.703506+00:00","source_url":"https://cdn.openbsd.org/pub/OpenBSD/8.0/packages/amd64/sqlports-7.55.tgz","source_sha256":"393d2bd6f5b23c8ba1809ec63f3e8310d7787d329b7350089609a078eb01a387","package_count":12098,"source_kind":"sqlports"},"package":{"name":"z3-5.0.0","path":"math/z3","url":"/packages/release/math/z3/","comment":"Z3 theorem prover","homepage":"https://github.com/Z3Prover/z3","maintainer":"Kirill A. Korinsky <kirill@korins.ky>","description":"The Z3 Theorem Prover.\n","description_source":null,"description_unresolved":[],"package_architecture":"amd64","stem":"z3","readme":null,"dependencies":[{"path":"devel/cmake/core","type":"build","package_spec":"STEM->=4","url":"/packages/release/devel/cmake/core/"},{"path":"devel/ninja","type":"build","package_spec":"","url":"/packages/release/devel/ninja/"},{"path":"lang/python/3","type":"build","package_spec":"","url":"/packages/release/lang/python/3/"},{"path":"devel/dwz","type":"build","package_spec":"","url":"/packages/release/devel/dwz/"},{"path":"lang/python/3","type":"test","package_spec":"","url":"/packages/release/lang/python/3/"}],"reverse_dependencies":{"count":1,"url":"/packages/data/89/892692c321ffa8c0b0b4e6d40317b5f225e3dcdbeedd0d9440639a42b708e13f.json"},"categories":["math","lang/python"],"flavors":[],"only_for_architectures":["aarch64","amd64","arm","i386","mips64","mips64el","powerpc","powerpc64","riscv64","sparc64"],"not_for_architectures":[]}}