Processed: ITP: cvc4 -- An automatic theorem prover for SMT problems

To: Fabian Wolff <fabi.wolff@arcor.de>
Cc: fabi.wolff@arcor.de, mdeters@cs.nyu.edu, wnpp@debian.org
Subject: Processed: ITP: cvc4 -- An automatic theorem prover for SMT problems
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Mon, 25 Jul 2016 15:39:04 +0000
Message-id: <[🔎] handler.s.B757048.146946088322981.transcript@bugs.debian.org>
References: <[🔎] 20160725153429.GA16826@localhost.localdomain> <20140804205755.30460.7629.reportbug@church.cims.nyu.edu>

Processing control commands:

> owner -1 !
Bug #757048 [wnpp] ITP: cvc4 -- An automatic theorem prover for SMT problems
Owner changed from Morgan Deters <mdeters@cs.nyu.edu> to Fabian Wolff <fabi.wolff@arcor.de>.

-- 
757048: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=757048
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#757048: ITP: cvc4 -- An automatic theorem prover for SMT problems
  - From: Fabian Wolff <fabi.wolff@arcor.de>

Prev by Date: Bug#757048: ITP: cvc4 -- An automatic theorem prover for SMT problems
Next by Date: Bug#832448: ITP: python-parsel -- A library to extract data from HTML/XML using XPath/CSS selectors
Previous by thread: Bug#757048: ITP: cvc4 -- An automatic theorem prover for SMT problems
Next by thread: Bug#832448: ITP: python-parsel -- A library to extract data from HTML/XML using XPath/CSS selectors
Index(es):
- Date
- Thread