{"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":"py3-z3-solver-4.8.10.0p7","path":"devel/angr/py-z3-solver","url":"/packages/release/devel/angr/py-z3-solver/","comment":"efficient SMT solver library (angr fork)","homepage":"https://github.com/angr/angr-z3","maintainer":"Jasper Lievisse Adriaanse <jasper@openbsd.org>","description":"Fork of Z3 for use with angr.\n","description_source":null,"description_unresolved":[],"package_architecture":"amd64","stem":"py3-z3-solver","readme":null,"dependencies":[{"path":"lang/python/3","type":"runtime","package_spec":"","url":"/packages/release/lang/python/3/"},{"path":"lang/python/3","type":"build","package_spec":"","url":"/packages/release/lang/python/3/"},{"path":"devel/py-build","type":"build","package_spec":"","url":"/packages/release/devel/py-build/"},{"path":"devel/py-installer","type":"build","package_spec":"","url":"/packages/release/devel/py-installer/"},{"path":"devel/py-setuptools","type":"build","package_spec":"py3-setuptools->=79v0","url":"/packages/release/devel/py-setuptools/"},{"path":"devel/py-wheel","type":"build","package_spec":"","url":"/packages/release/devel/py-wheel/"}],"reverse_dependencies":{"count":2,"url":"/packages/data/3c/3c5e9e127f94b451938824b740cdc6f725e8ac4ee95bc45cbe41a319d72bfd48.json"},"categories":["devel","security","lang/python"],"flavors":[],"only_for_architectures":["aarch64","amd64"],"not_for_architectures":[]}}