» Ubuntu » Packages » precise (12.04LTS) » Source » math » otter
lucid  ] [  precise  ] [  raring  ] [  saucy  ] [  trusty  ] [  utopic  ]

Source Package: otter (3.3f-1.1) [universe]

Links for otter

Ubuntu Resources:

Maintainer:

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.

The following binary packages are built from this source package:
formed
formula editor for first-order logic formulae
mace2
program that searches for finite models of first-order statements
otter
resolution-style theorem prover

Other Packages Related to otter

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 5)
    helper programs for debian/rules
  • adep: libxaw7-dev
    X11 Athena Widget library (development headers)
  • adep: hevea
    translates from LaTeX to HTML, info, or text

Download otter

FileSize (in kB)MD5 checksum
otter_3.3f-1.1.dsc 1.7 kB 42be2fcd39cb7b7291e4320fa9bae862
otter_3.3f.orig.tar.gz 2,494.9 kB 795711b307cc1316e08d3d4f46c998c9
otter_3.3f-1.1.diff.gz 7.1 kB ee42d1cd2f6d1a8bcde108c955d58582