all options
wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Source: otter  ]

Package: otter (3.3f-1.1 and others)

Links for otter


Debian Resources:

Download Source Package otter:


Similar packages:

resolution-style theorem prover

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.

Other Packages Related to otter

  • depends
  • recommends
  • suggests
  • enhances

Download otter

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 3.3f-1.1 778.1 kB1,366.0 kB [list of files]
amd64 3.3f-1.1 767.0 kB1,289.0 kB [list of files]
arm64 3.3f-1.1 686.8 kB1,220.0 kB [list of files]
armel 3.3f-1.1 745.6 kB1,760.0 kB [list of files]
armhf 3.3f-1.1+b1 684.4 kB1,271.0 kB [list of files]
hppa (unofficial port) 3.3f-1.1 697.2 kB1,286.0 kB [list of files]
hurd-i386 3.3f-1.1+b1 759.3 kB1,284.0 kB [list of files]
i386 3.3f-1.1 759.0 kB1,286.0 kB [list of files]
kfreebsd-amd64 3.3f-1.1 766.6 kB1,221.0 kB [list of files]
kfreebsd-i386 3.3f-1.1 759.0 kB1,218.0 kB [list of files]
m68k (unofficial port) 3.3f-1.1 727.7 kB1,243.0 kB [list of files]
mips 3.3f-1.1 750.9 kB1,301.0 kB [list of files]
mips64el 3.3f-1.1 712.5 kB1,483.0 kB [list of files]
mipsel 3.3f-1.1 751.3 kB1,301.0 kB [list of files]
powerpc 3.3f-1.1 757.8 kB1,282.0 kB [list of files]
powerpcspe (unofficial port) 3.3f-1.1 691.5 kB1,401.0 kB [list of files]
ppc64 (unofficial port) 3.3f-1.1+b1 697.2 kB1,487.0 kB [list of files]
ppc64el 3.3f-1.1 698.4 kB1,324.0 kB [list of files]
s390x 3.3f-1.1 766.9 kB1,332.0 kB [list of files]
sh4 (unofficial port) 3.3f-1.1 758.5 kB1,257.0 kB [list of files]
sparc64 (unofficial port) 3.3f-1.1 744.6 kB1,193.0 kB [list of files]
x32 (unofficial port) 3.3f-1.1 713.3 kB1,384.0 kB [list of files]