Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

sci-mathematics/
prover9

Automated theorem prover for first-order and equational logic

https://www.cs.unm.edu/~mccune/mace4/

Available Versions

Versionamd64x86alphaarmarm64hppamipsppcppc64riscvsparc
2009.11a-r1  : 0 EAPI 8 ~amd64 ~x86?alpha?arm?arm64?hppa?mips?ppc?ppc64?riscv?sparc

Package Metadata

  • Full description
    Prover9 and Mace4 Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples. Prover9 is the successor of the Otter prover.
  • USE flags
    Global Use Flags
  • License
    GPL-2
  • Maintainer(s)
    Gentoo Mathematics Project