Processed: ITP: cvc3 -- automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

To: "Christopher L. Conway" <cconway@courant.nyu.edu>
Cc: Christopher L Conway <cconway@cs.nyu.edu> (owner of 559245 for {559245}), <wnpp@debian.org> (wnpp for {559245})
Subject: Processed: ITP: cvc3 -- automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Wed, 09 Dec 2009 22:36:06 +0000
Message-id: <[🔎] handler.s.C.126039797122982.transcript@bugs.debian.org>
In-reply-to: <alpine.SOC.2.00.0912091731470.29313@access2.cims.nyu.edu>
References: <alpine.SOC.2.00.0912091731470.29313@access2.cims.nyu.edu>

Processing commands for control@bugs.debian.org:

> retitle 559245 ITP: cvc3 -- automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Bug #559245 [wnpp] ITP: cvc3 -- automatic theorem prover for Satisfiability
Changed Bug title to 'ITP: cvc3 -- automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.' from 'ITP: cvc3 -- automatic theorem prover for Satisfiability'
>
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: Bug#560244: RFP: mysql-cluster-7 -- MySQL Cluster is the flexibility and a high availability database.
Next by Date: Bug#559245:
Previous by thread: Processed: ITP: cvc3 -- automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Next by thread: Bug#560244: RFP: mysql-cluster-7 -- MySQL Cluster is the flexibility and a high availability database.
Index(es):
- Date
- Thread