diff options
| author |   George Shapovalov <george@gentoo.org> | 2003-05-16 09:54:21 +0000 |
|---|---|---|
| committer | George Shapovalov <george@gentoo.org> | 2003-05-16 09:54:21 +0000 |
| commit | 142dcc9d703fc7911b6cf40510c4f19b15e7f0ef (patch) | |
| tree | 5b684d6d79b48bd396fb9bc6e83e5fc5c35b2b96 /app-sci | |
| parent | version bump and omf/scrollkeeper fixes (diff) | |
| download | historical-142dcc9d703fc7911b6cf40510c4f19b15e7f0ef.tar.gz historical-142dcc9d703fc7911b6cf40510c4f19b15e7f0ef.tar.bz2 historical-142dcc9d703fc7911b6cf40510c4f19b15e7f0ef.zip | |
new package: Automated Deduction System
Diffstat (limited to 'app-sci')
| -rw-r--r-- | app-sci/otter/ChangeLog | 19 | ||||
| -rw-r--r-- | app-sci/otter/Manifest | 3 |
2 files changed, 22 insertions, 0 deletions
diff --git a/app-sci/otter/ChangeLog b/app-sci/otter/ChangeLog new file mode 100644 index 000000000000..0f44d26a92e9 --- /dev/null +++ b/app-sci/otter/ChangeLog @@ -0,0 +1,19 @@ +# ChangeLog for app-sci/otter +# Copyright 2002 Gentoo Technologies, Inc.; Distributed under the GPL +# $Header: /var/cvsroot/gentoo-x86/app-sci/otter/ChangeLog,v 1.1 2003/05/16 09:54:21 george Exp $ + +*otter-3.2.ebuild (16 May 2003) + + 16 May 2003; George Shapovalov <george@gentoo.org> Manifest, otter-3.2.ebuild, files/{digest-otter-3.2} : + initial release (#19036) + + Otter is designed to prove theorems + stated in first-order logic with equality. 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 is a + fourth-generation Argonne National Laboratory deduction system whose ancestors + (dating from the early 1960s) include the TP series, NIUTP, AURA, and ITP. + + ebuild submitted by Meghan Claire Pike <s0199782@sms.ed.ac.uk> diff --git a/app-sci/otter/Manifest b/app-sci/otter/Manifest new file mode 100644 index 000000000000..7d634177b00e --- /dev/null +++ b/app-sci/otter/Manifest @@ -0,0 +1,3 @@ +MD5 5a879445965069a26d6f863ac86440d4 Legal 1133 +MD5 c2cb154d9190088f7095127a13c25f35 otter-3.2.ebuild 600 +MD5 b299411e0aa76723d9617046d8d7ea5e files/digest-otter-3.2 62 |