Ubuntu

otter binary package in Ubuntu Precise i386

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-26 15:03:48 UTC	Published	Ubuntu Precise i386	release	universe	math	Optional	3.3f-1.1
Published on 2011-10-26
	2011-10-26 15:05:40 UTC	Superseded	Ubuntu Precise i386	release	universe	math	Optional	3.3f-1
Removed from disk on 2016-11-02. Removal requested on 2011-10-27. Superseded on 2011-10-26 by i386 build of otter 3.3f-1.1 in ubuntu precise RELEASE Published on 2011-10-13 Copied from ubuntu gutsy-release i386 in Primary Archive for Ubuntu

Source package

otter package in Ubuntu