[  lenny  ] [  squeeze  ] [  sid  ]

Source Package: otter (3.3f-1)

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.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