» Ubuntu » Packages » lucid (10.04LTS) » math » otter
lucid  ] [  precise  ] [  trusty  ] [  utopic  ] [  vivid  ]
[ Source: otter  ]

Package: otter (3.3f-1) [universe]

Links for otter


Ubuntu Resources:

Download Source Package otter:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Peter Collingbourne

It should generally not be necessary for users to contact the original maintainer.

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
  • dep: libc6 (>= 2.5-5)
    Embedded GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
  • rec: c-shell
    virtual package provided by csh, tcsh
  • rec: mace2
    program that searches for finite models of first-order statements
  • rec: perl
    Larry Wall's Practical Extraction and Report Language
  • sug: formed
    formula editor for first-order logic formulae

Download otter

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 760.6 kB1,792.0 kB [list of files]
i386 740.4 kB1,756.0 kB [list of files]