The math/prover9/ladr port
ladr-dec-2007p4 – Library for Automated Deduction Research (cvsweb github mirror)
Description
Prover9, Mace4, and several related programs come packaged in a system called LADR (Library for Automated Deduction Research).WWW: http://www.cs.unm.edu/%7Emccune/prover9/
Maintainer
The OpenBSD ports mailing-list
Only for arches
aarch64 alpha amd64 arm hppa i386 mips64 mips64el powerpc powerpc64 riscv64 sparc64