all options
jessie  ]

Source Package: otter (3.3f-1.1)

Links for otter

Debian Resources:

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

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