Ubuntu

otter binary package in Ubuntu Precise powerpc

OTTER is an automated theorem prover for equational logic developed
at Argonne National Laboratory.
.
OTTER's inference rules are based on resolution and paramodulation,
and it includes facilities for term rewriting, term orderings,
Knuth-Bendix completion, weighting, and strategies for directing and
restricting searches for proofs. OTTER can also be used as a symbolic
calculator and has an embedded equational programming system.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2011-10-31 18:03:26 UTC	Published	Ubuntu Precise powerpc	release	universe	math	Optional	3.3f-1.1
Published on 2011-10-31
	2011-10-31 18:04:00 UTC	Superseded	Ubuntu Precise powerpc	release	universe	math	Optional	3.3f-1
Removed from disk on 2016-11-02. Removal requested on 2011-11-01. Superseded on 2011-10-31 by powerpc build of otter 3.3f-1.1 in ubuntu precise RELEASE Published on 2011-10-13 Copied from ubuntu gutsy-release powerpc in Primary Archive for Ubuntu

Source package

otter package in Ubuntu