Source Package: otter (3.3f-1.1)
Links for otter
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
It should generally not be necessary for users to contact the original maintainer.
The following binary packages are built from this source package:
- formula editor for first-order logic formulae
- program that searches for finite models of first-order statements
- resolution-style theorem prover
Other Packages Related to otter
- helper programs for debian/rules
- X11 Athena Widget library (development headers)
- translates from LaTeX to HTML, info, or text