sci-mathematics/
p9m4

This is a Graphical User Interface for Prover9 and Mace4

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

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
05-r1 : 0 ~amd64 ~x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?sparc

Package Metadata

Changelog