{"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":"py3-PySMT-0.9.6p0","path":"math/py-pysmt","url":"/packages/current/math/py-pysmt/","comment":"library for SMT formulae manipulation and solving","homepage":"https://github.com/pysmt/pysmt","maintainer":"The OpenBSD ports mailing-list <ports@openbsd.org>","description":"pySMT makes working with Satisfiability Modulo Theory simple.\n\nAmong others, you can:\n\n* Define formulae in a solver independent way in a simple and\n  inutitive way,\n* Write ad-hoc simplifiers and operators,\n* Dump your problems in the SMT-Lib format,\n* Solve them using one of the native solvers, or by wrapping any\n  SMT-Lib complaint solver.\n","package_architecture":"amd64","stem":"py3-PySMT","readme":null,"dependencies":[{"path":"lang/python/3","type":"runtime","package_spec":"","url":"/packages/current/lang/python/3/"},{"path":"lang/python/3","type":"build","package_spec":"","url":"/packages/current/lang/python/3/"},{"path":"devel/py-build","type":"build","package_spec":"","url":"/packages/current/devel/py-build/"},{"path":"devel/py-installer","type":"build","package_spec":"","url":"/packages/current/devel/py-installer/"},{"path":"devel/py-setuptools","type":"build","package_spec":"py3-setuptools->=79v0","url":"/packages/current/devel/py-setuptools/"},{"path":"devel/py-wheel","type":"build","package_spec":"","url":"/packages/current/devel/py-wheel/"},{"path":"lang/python/3","type":"test","package_spec":"","url":"/packages/current/lang/python/3/"},{"path":"devel/py-test","type":"test","package_spec":"","url":"/packages/current/devel/py-test/"}],"reverse_dependencies":{"count":2,"url":"/packages/data/df/df6814435d630578b6761c78ec2c4fd0ca4c0b9651a94e62631e8959641ee895.json"},"categories":["math","lang/python"],"flavors":[],"only_for_architectures":["aarch64","amd64","arm","i386","mips64","mips64el","powerpc","powerpc64","riscv64","sparc64","alpha","hppa"],"not_for_architectures":[]}}