Ubuntu
otter package

otter 3.3f-1.1 source package in Ubuntu

Changelog

otter (3.3f-1.1) unstable; urgency=low

  * Non-maintainer upload.
  * source/formed/Makefile: Added -lX11 -lXt.  Closes: #555879.
  * Fixed debhelper-but-no-misc-depends.
  * Fixed debian-rules-ignores-make-clean-error.
 -- Ubuntu Archive Auto-Sync <email address hidden>   Sat,  22 Oct 2011 14:41:04 +0000

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Precise
Original maintainer:
Peter Collingbourne
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Xenial release universe math
Trusty release universe math
Precise release universe math

Downloads

File Size SHA-256 Checksum
otter_3.3f.orig.tar.gz 2.4 MiB 392c8c6557944eaf6958c199c365b43189beab836fb80c716569ea43af0dac9a
otter_3.3f-1.1.diff.gz 7.1 KiB 1ececab9c99a5356183bba32d6f8f22c21a5e1366ed0cff032bc830515c31478
otter_3.3f-1.1.dsc 1.7 KiB 2e4130efb6c5dce04b3c21c79b4a673dedfea43feffb04c5ed9eea3314af33fb

Available diffs

View changes file

Binary packages built by this source

formed: No summary available for formed in ubuntu yakkety.

No description available for formed in ubuntu yakkety.

formed-dbgsym: No summary available for formed-dbgsym in ubuntu yakkety.

No description available for formed-dbgsym in ubuntu yakkety.

mace2: No summary available for mace2 in ubuntu yakkety.

No description available for mace2 in ubuntu yakkety.

mace2-dbgsym: No summary available for mace2-dbgsym in ubuntu yakkety.

No description available for mace2-dbgsym in ubuntu yakkety.

otter: resolution-style theorem prover

 OTTER is an automated theorem prover for equational logic developed
 at Argonne National Laboratory.
 .
 OTTER's inference rules are based on resolution and paramodulation,
 and it includes facilities for term rewriting, term orderings,
 Knuth-Bendix completion, weighting, and strategies for directing and
 restricting searches for proofs. OTTER can also be used as a symbolic
 calculator and has an embedded equational programming system.

otter-dbgsym: debug symbols for package otter

 OTTER is an automated theorem prover for equational logic developed
 at Argonne National Laboratory.
 .
 OTTER's inference rules are based on resolution and paramodulation,
 and it includes facilities for term rewriting, term orderings,
 Knuth-Bendix completion, weighting, and strategies for directing and
 restricting searches for proofs. OTTER can also be used as a symbolic
 calculator and has an embedded equational programming system.