Processed (with 1 errors): Re: ITP: cvc3 -- The CVC3 automatic theorem prover

To: Christopher L Conway <cconway@cs.nyu.edu>
Cc: Christopher L Conway <cconway@cs.nyu.edu> (owner of 559245 for {559245}), <wnpp@debian.org> (wnpp for {559245})
Subject: Processed (with 1 errors): Re: ITP: cvc3 -- The CVC3 automatic theorem prover
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Wed, 09 Dec 2009 20:06:07 +0000
Message-id: <[🔎] handler.s.C.126038903820215.transcript@bugs.debian.org>
In-reply-to: <4a051d930912091203v7742ad29w2f5b430233c28a4a@mail.gmail.com>
References: <4a051d930912091203v7742ad29w2f5b430233c28a4a@mail.gmail.com>

Processing commands for control@bugs.debian.org:

> retitle 559245 ITP: cvc3 -- automatic theorem prover for Satisfiability
Bug #559245 [wnpp] ITP: cvc3 -- automatic theorem prover for
Changed Bug title to 'ITP: cvc3 -- automatic theorem prover for Satisfiability' from 'ITP: cvc3 -- automatic theorem prover for'
> Modulo Theories (SMT) problems.
Unknown command or malformed arguments to command.

>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Reply to:

Prev by Date: Processed (with 1 errors): ITP: cvc3 -- The CVC3 automatic theorem prover
Next by Date: Processed: closing 485182
Previous by thread: Processed (with 1 errors): Re: ITP: cvc3 -- The CVC3 automatic theorem prover
Next by thread: Processed (with 1 errors): ITP: cvc3 -- The CVC3 automatic theorem prover
Index(es):
- Date
- Thread