sci-mathematics/
otter

An Automated Deduction System

http://www.cs.unm.edu/~mccune/otter/

Available Versions

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

Package Metadata

Changelog