{"schema_version":1,"metadata":{"branch":"current","release":"7.9","architecture":"amd64","generated_at":"2026-09-09T04:04:41.004595+00:00","source_url":"https://cdn.openbsd.org/pub/OpenBSD/snapshots/packages/amd64/sqlports-7.55.tgz","source_sha256":"fcdbba1b9df747882aa9bab4af20ebec8dac10655069c90f1cd4145c06e1235e","package_count":12031,"source_kind":"sqlports"},"package":{"name":"stp-2.2.0p7","path":"devel/stp","url":"/packages/current/devel/stp/","comment":"decision procedure for bit-vectors and arrays","homepage":"https://stp.github.io/","maintainer":"The OpenBSD ports mailing-list <ports@openbsd.org>","description":"STP is a constraint solver (also referred to as a decision procedure\nor automated prover) aimed at solving constraints generated by program\nanalysis tools, theorem provers, automated bug finders, intelligent\nfuzzers and model checkers.\n","package_architecture":"amd64","stem":"stp","readme":null,"dependencies":[{"path":"devel/boost","type":"library","package_spec":"","url":"/packages/current/devel/boost/"},{"path":"math/minisat","type":"library","package_spec":"","url":"/packages/current/math/minisat/"},{"path":"devel/bison","type":"build","package_spec":"","url":"/packages/current/devel/bison/"},{"path":"devel/py-setuptools","type":"build","package_spec":"","url":"/packages/current/devel/py-setuptools/"},{"path":"devel/cmake/core","type":"build","package_spec":"STEM->=4","url":"/packages/current/devel/cmake/core/"},{"path":"devel/ninja","type":"build","package_spec":"","url":"/packages/current/devel/ninja/"},{"path":"lang/python/3","type":"build","package_spec":"","url":"/packages/current/lang/python/3/"}],"reverse_dependencies":{"count":0,"url":null},"categories":["devel","lang/python"],"flavors":[],"only_for_architectures":["aarch64","amd64","arm","i386","mips64","mips64el","powerpc","powerpc64","riscv64","sparc64","alpha","hppa"],"not_for_architectures":[]}}