Library for Automated Deduction Research
Project homepage: http://www.cs.unm.edu/%7Emccune/prover9/
Description
Prover9, Mace4, and several related programs come packaged in a system
called LADR (Library for Automated Deduction Research).
Package information
- Ports path
- math/prover9/ladr
- Package architecture
- amd64
- Maintainer
- The OpenBSD ports mailing-list <ports@openbsd.org>
- Categories
- math, lang/python
- Available flavors
- None listed
- Only for architectures
- aarch64, amd64, arm, i386, mips64, mips64el, powerpc, powerpc64, riscv64, sparc64, alpha, hppa
Ports list build and test dependencies as well as runtime dependencies. pkg_add selects those needed for installation.
Direct dependencies
Build
Test
Used by (1 dependency relationships)
Includes library, runtime, build and test dependencies.