p9m4-05p7
prover9/mace4 GUI
Back to search · Project homepage
Description
GUI for the LADR (prover9 mace4) tools.
Package information
- Ports path
- math/prover9/p9m4
- 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
Runtime
Build
Used by (2 dependency relationships)
Includes library, runtime, build and test relationships. Results load 100 at a time.