Bug#179557: marked as done (ITP: otter -- Search for proofs in equational logic)
Your message dated Tue, 4 Jan 2005 12:30:22 -0500
with message-id <20050104173022.GA31131@andromeda>
and subject line Returned mail: see transcript for details
has caused the attached Bug report to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--------------------------------------
Received: (at submit) by bugs.debian.org; 3 Feb 2003 03:07:28 +0000
>From Antoine.Mathys@unifr.ch Sun Feb 02 21:07:26 2003
Return-path: <Antoine.Mathys@unifr.ch>
Received: from mail3.bluewin.ch [195.186.1.75]
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 18fWxC-0008Qe-00; Sun, 02 Feb 2003 21:07:26 -0600
Received: from leonov (62.203.91.99) by mail3.bluewin.ch (Bluewin AG 6.7.015)
id 3E105C81003C4949; Mon, 3 Feb 2003 03:07:25 +0000
Received: from axm by leonov with local (Exim 3.35 #1 (Debian))
id 18fWx8-00010Z-00; Mon, 03 Feb 2003 04:07:22 +0100
From: Antoine Mathys <Antoine.Mathys@unifr.ch>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: ITP: otter -- Search for proofs in equational logic
X-Mailer: reportbug 1.50
Date: Mon, 03 Feb 2003 04:07:21 +0100
X-Debbugs-CC: debian-devel@lists.debian.org
Message-Id: <E18fWx8-00010Z-00@leonov>
Sender: Antoine Mathys <Antoine.Mathys@unifr.ch>
Delivered-To: submit@bugs.debian.org
X-Spam-Status: No, hits=0.6 required=5.0
tests=SPAM_PHRASE_00_01
version=2.41
X-Spam-Level:
Package: wnpp
Version: N/A; reported 2003-02-03
Severity: wishlist
* Package name : otter
Version : 3.2
Upstream Author : Automated Reasoning Group at Argone National
Laboratory <mccune@mcs.anl.gov>
* URL : http://www.mcs.anl.gov/AR/otter/
* License : available without restriction
Description : Search for proofs in equational logic
The OTTER sources include MACE and FormEd, described below.
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.
MACE is a program that searches for finite models of first-order and
equational statements developed at Argonne National Laboratory.
.
This package includes ANLDP, which calls the propositional decision
procedure at the core of MACE directly.
.
MACE serves as a complementary companion to OTTER, which
searches for refutations of the same class of statement. In
particular, if you have a first-order conjecture, OTTER will search
for a proof, and MACE will search for a counterexample from the same
input file.
Formed is a formula editor for first-order logic formulas that
lets you simplify quantified formulas by quantifier
transformation among other things.
-- System Information
Debian Release: 3.0
Architecture: i386
Kernel: Linux leonov 2.4.18 #6 Sun Dec 29 08:30:49 CET 2002 i686
Locale: LANG=C, LC_CTYPE=
---------------------------------------
Received: (at 179557-done) by bugs.debian.org; 4 Jan 2005 17:30:25 +0000
>From justinpryzby@users.sourceforge.net Tue Jan 04 09:30:25 2005
Return-path: <justinpryzby@users.sourceforge.net>
Received: from ms-smtp-04.nyroc.rr.com [24.24.2.58]
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1ClsVl-00058m-00; Tue, 04 Jan 2005 09:30:25 -0800
Received: from andromeda (syr-24-59-54-124.twcny.rr.com [24.59.54.124])
by ms-smtp-04.nyroc.rr.com (8.12.10/8.12.10) with ESMTP id j04HUMpl023184
for <179557-done@bugs.debian.org>; Tue, 4 Jan 2005 12:30:22 -0500 (EST)
Received: from pryzbyj by andromeda with local (Exim 4.34)
id 1ClsVi-00088A-AQ
for 179557-done@bugs.debian.org; Tue, 04 Jan 2005 12:30:22 -0500
Date: Tue, 4 Jan 2005 12:30:22 -0500
To: 179557-done@bugs.debian.org
Subject: Re: Returned mail: see transcript for details
Message-ID: <20050104173022.GA31131@andromeda>
References: <200501041729.j04HTIP4018920@ms-smtp-03.nyroc.rr.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <200501041729.j04HTIP4018920@ms-smtp-03.nyroc.rr.com>
User-Agent: Mutt/1.5.6+20040907i
From: Justin Pryzby <justinpryzby@users.sourceforge.net>
X-Virus-Scanned: Symantec AntiVirus Scan Engine
Delivered-To: 179557-done@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-3.0 required=4.0 tests=BAYES_00 autolearn=no
version=2.60-bugs.debian.org_2005_01_02
X-Spam-Level:
No interest + bounce = close.
Justin
On Tue, Jan 04, 2005 at 12:29:18PM -0500, Mail Delivery Subsystem wrote:
> The original message was received at Tue, 4 Jan 2005 12:29:14 -0500 (EST)
> from syr-24-59-54-124.twcny.rr.com [24.59.54.124]
>
> ----- The following addresses had permanent fatal errors -----
> <Antoine.Mathys@unifr.ch>
> (reason: 550 Unknown user)
>
> ----- Transcript of session follows -----
> ... while talking to siufsrv104.unifr.ch.:
> >>> DATA
> <<< 550 Unknown user
> 550 5.1.1 <Antoine.Mathys@unifr.ch>... User unknown
> <<< 503 valid RCPT command must precede DATA
> Reporting-MTA: dns; ms-smtp-03.nyroc.rr.com
> Received-From-MTA: DNS; syr-24-59-54-124.twcny.rr.com
> Arrival-Date: Tue, 4 Jan 2005 12:29:14 -0500 (EST)
>
> Final-Recipient: RFC822; Antoine.Mathys@unifr.ch
> Action: failed
> Status: 5.1.1
> Remote-MTA: DNS; siufsrv104.unifr.ch
> Diagnostic-Code: SMTP; 550 Unknown user
> Last-Attempt-Date: Tue, 4 Jan 2005 12:29:18 -0500 (EST)
> Received: from andromeda (syr-24-59-54-124.twcny.rr.com [24.59.54.124])
> by ms-smtp-03.nyroc.rr.com (8.12.10/8.12.10) with ESMTP id j04HTEP4018881;
> Tue, 4 Jan 2005 12:29:14 -0500 (EST)
> Received: from pryzbyj by andromeda with local (Exim 4.34)
> id 1ClsUb-000877-Ak; Tue, 04 Jan 2005 12:29:13 -0500
> Precedence: bulk
> Mail-Followup-To: 179557-quiet@bugs.debian.org, justinpryzby@users.sf.net
> Mail-Reply-To: 179557-quiet@bugs.debian.org, justinpryzby@users.sf.net
> Reply-To: 179557-quiet@bugs.debian.org, justinpryzby@users.sourceforge.net
> Subject: Outstanding ITP - otter
> To: "Antoine Mathys" <Antoine.Mathys@unifr.ch>, <179557-quiet@bugs.debian.org>
> X-Mailer: mail (GNU Mailutils 0.5)
> Message-Id: <E1ClsUb-000877-Ak@andromeda>
> From: Justin Pryzby <justinpryzby@users.sourceforge.net>
> Date: Tue, 04 Jan 2005 12:29:13 -0500
> X-Virus-Scanned: Symantec AntiVirus Scan Engine
--
Justin
aptitude install task-iraf saods9 eclipse sextractor x11iraf wcstools
http://www.justinpryzby.com/debian/
References
[0]
Reply to: