ladr-dec-2007p5
Library for Automated Deduction Research
Back to search · Project homepage
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
These are ports metadata. Binary availability depends on the release, architecture and mirror. Build and test dependencies are not an installation checklist.
Direct dependencies
Build
Test
Used by (1 dependency relationships)
Includes library, runtime, build and test relationships. Results load 100 at a time.