{"schema_version":1,"metadata":{"branch":"release","release":"7.9","architecture":"amd64","generated_at":"2026-09-09T04:04:02.361425+00:00","source_url":"https://cdn.openbsd.org/pub/OpenBSD/7.9/packages/amd64/sqlports-7.54.tgz","source_sha256":"2de00144847bf9da3a365be982f101dbb55d591ed7a915ea94984a16ab0e0404","package_count":12059,"source_kind":"sqlports"},"package":{"name":"ladr-dec-2007p5","path":"math/prover9/ladr","url":"/packages/release/math/prover9/ladr/","comment":"Library for Automated Deduction Research","homepage":"http://www.cs.unm.edu/%7Emccune/prover9/","maintainer":"The OpenBSD ports mailing-list <ports@openbsd.org>","description":"Prover9, Mace4, and several related programs come packaged in a system\ncalled LADR (Library for Automated Deduction Research).\n","package_architecture":"amd64","stem":"ladr-dec","readme":null,"dependencies":[{"path":"lang/python/3","type":"build","package_spec":"","url":"/packages/release/lang/python/3/"},{"path":"lang/python/3","type":"test","package_spec":"","url":"/packages/release/lang/python/3/"}],"reverse_dependencies":{"count":1,"url":"/packages/data/87/8755f064c26745439d9c51145679a7623f2cbf8a4427511631efa19c01ab2cd1.json"},"categories":["math","lang/python"],"flavors":[],"only_for_architectures":["aarch64","amd64","arm","i386","mips64","mips64el","powerpc","powerpc64","riscv64","alpha","hppa","sparc64"],"not_for_architectures":[]}}