[  hardy  ] [  lucid  ] [  natty  ] [  oneiric  ] [  precise  ] [  quantal  ]

Links for otter

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

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

File	Size (in kB)	MD5 checksum
otter_3.3f-1.dsc	0.6 kB	28b271b45c5825e05504d7e5578591bc
otter_3.3f.orig.tar.gz	2,494.9 kB	795711b307cc1316e08d3d4f46c998c9
otter_3.3f-1.diff.gz	7.0 kB	c882f71fa5e5d8e2cd444de216cc9cf6