Debian Bug report logs - #616651
RFP: bool2cnf -- tool for converting a boolean formula into CNF

Package: wnpp; Maintainer for wnpp is wnpp@debian.org;

Reported by: Thomas Krennwallner <tkren@kr.tuwien.ac.at>

Date: Sun, 6 Mar 2011 10:06:01 UTC

Severity: wishlist

Reply or subscribe to this bug.

Toggle useless messages

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to debian-bugs-dist@lists.debian.org, debian-devel@lists.debian.org, wnpp@debian.org:
Bug#616651; Package wnpp. (Sun, 06 Mar 2011 10:06:04 GMT) Full text and rfc822 format available.

Acknowledgement sent to Thomas Krennwallner <tkren@kr.tuwien.ac.at>:
New Bug report received and forwarded. Copy sent to debian-devel@lists.debian.org, wnpp@debian.org. (Sun, 06 Mar 2011 10:06:04 GMT) Full text and rfc822 format available.

Message #5 received at submit@bugs.debian.org (full text, mbox):

From: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: ITP: bool2cnf -- tool for converting a boolean formula into CNF
Date: Sun, 06 Mar 2011 11:04:19 +0100
Package: wnpp
Severity: wishlist
Owner: Thomas Krennwallner <tkren@kr.tuwien.ac.at>


* Package name    : bool2cnf
  Version         : 20110304
  Upstream Author : Tatsuhiro Tsuchiya <t-tutiya@ist.osaka-u.ac.jp>
* URL             : http://www-ise4.ist.osaka-u.ac.jp/~t-tutiya/sources/bool2cnf/
* License         : BSD
  Programming Lang: C
  Description     : tool for converting a boolean formula into CNF

Given a Boolean formula, this tool constructs a Boolean formula in CNF
that is satisfiable iff so is the given formula. The output CNF
formula is in DIMACS format.




Information forwarded to debian-bugs-dist@lists.debian.org, wnpp@debian.org, Thomas Krennwallner <tkren@kr.tuwien.ac.at>:
Bug#616651; Package wnpp. (Sun, 06 Mar 2011 13:48:03 GMT) Full text and rfc822 format available.

Acknowledgement sent to Bastien ROUCARIES <roucaries.bastien@gmail.com>:
Extra info received and forwarded to list. Copy sent to wnpp@debian.org, Thomas Krennwallner <tkren@kr.tuwien.ac.at>. (Sun, 06 Mar 2011 13:48:03 GMT) Full text and rfc822 format available.

Message #10 received at 616651@bugs.debian.org (full text, mbox):

From: Bastien ROUCARIES <roucaries.bastien@gmail.com>
To: Thomas Krennwallner <tkren@kr.tuwien.ac.at>, 616651@bugs.debian.org
Subject: Re: Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF
Date: Sun, 6 Mar 2011 14:43:46 +0100
Le dimanche 6 mars 2011 11:04:19, Thomas Krennwallner a écrit :
> Package: wnpp
> Severity: wishlist
> Owner: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
> 
> 
> * Package name    : bool2cnf
>   Version         : 20110304
>   Upstream Author : Tatsuhiro Tsuchiya <t-tutiya@ist.osaka-u.ac.jp>
> * URL             :
> http://www-ise4.ist.osaka-u.ac.jp/~t-tutiya/sources/bool2cnf/ * License   
>      : BSD
>   Programming Lang: C
>   Description     : tool for converting a boolean formula into CNF
> 
> Given a Boolean formula, this tool constructs a Boolean formula in CNF
> that is satisfiable iff so is the given formula. The output CNF
> formula is in DIMACS format.
Could you please clarify whati s CNF ? and DIMACS

Bastien




Information forwarded to debian-bugs-dist@lists.debian.org, wnpp@debian.org, Thomas Krennwallner <tkren@kr.tuwien.ac.at>:
Bug#616651; Package wnpp. (Wed, 25 May 2011 10:06:03 GMT) Full text and rfc822 format available.

Acknowledgement sent to Raphael Hertzog <hertzog@debian.org>:
Extra info received and forwarded to list. Copy sent to wnpp@debian.org, Thomas Krennwallner <tkren@kr.tuwien.ac.at>. (Wed, 25 May 2011 10:06:08 GMT) Full text and rfc822 format available.

Message #15 received at 616651@bugs.debian.org (full text, mbox):

From: Raphael Hertzog <hertzog@debian.org>
To: Thomas Krennwallner <tkren@kr.tuwien.ac.at>, 616651@bugs.debian.org
Cc: debian-science@lists.debian.org
Subject: Re: Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF
Date: Wed, 25 May 2011 12:02:23 +0200
Hi,

On Sun, 06 Mar 2011, Thomas Krennwallner wrote:
> * Package name    : bool2cnf
>   Version         : 20110304
>   Upstream Author : Tatsuhiro Tsuchiya <t-tutiya@ist.osaka-u.ac.jp>
> * URL             : http://www-ise4.ist.osaka-u.ac.jp/~t-tutiya/sources/bool2cnf/
> * License         : BSD
>   Programming Lang: C
>   Description     : tool for converting a boolean formula into CNF
> 
> Given a Boolean formula, this tool constructs a Boolean formula in CNF
> that is satisfiable iff so is the given formula. The output CNF
> formula is in DIMACS format.

How is your work progressing? I could sponsor the package if you have
something ready. But it would be even better if you could maintain
it as part of the Debian Science team.

http://wiki.debian.org/DebianScience
http://wiki.debian.org/DebianScience/Logic

Cheers,
-- 
Raphaël Hertzog ◈ Debian Developer

Follow my Debian News ▶ http://RaphaelHertzog.com (English)
                      ▶ http://RaphaelHertzog.fr (Français)




Information forwarded to debian-bugs-dist@lists.debian.org, wnpp@debian.org:
Bug#616651; Package wnpp. (Wed, 25 May 2011 10:48:58 GMT) Full text and rfc822 format available.

Acknowledgement sent to Thomas Krennwallner <tkren@kr.tuwien.ac.at>:
Extra info received and forwarded to list. Copy sent to wnpp@debian.org. (Wed, 25 May 2011 10:49:00 GMT) Full text and rfc822 format available.

Message #20 received at 616651@bugs.debian.org (full text, mbox):

From: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
To: Raphael Hertzog <hertzog@debian.org>, 616651@bugs.debian.org, debian-science@lists.debian.org
Subject: Re: Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF
Date: Wed, 25 May 2011 12:47:21 +0200
Dear Raphael,

On Wed May 25, 2011 12:02:23PM +0200, Raphael Hertzog wrote:
> Hi,
> 
> On Sun, 06 Mar 2011, Thomas Krennwallner wrote:
> > * Package name    : bool2cnf
> >   Version         : 20110304
> >   Upstream Author : Tatsuhiro Tsuchiya <t-tutiya@ist.osaka-u.ac.jp>
> > * URL             : http://www-ise4.ist.osaka-u.ac.jp/~t-tutiya/sources/bool2cnf/
> > * License         : BSD
> >   Programming Lang: C
> >   Description     : tool for converting a boolean formula into CNF
> > 
> > Given a Boolean formula, this tool constructs a Boolean formula in CNF
> > that is satisfiable iff so is the given formula. The output CNF
> > formula is in DIMACS format.
> 
> How is your work progressing? I could sponsor the package if you have
> something ready. But it would be even better if you could maintain
> it as part of the Debian Science team.
> 
> http://wiki.debian.org/DebianScience
> http://wiki.debian.org/DebianScience/Logic

I didn't find time yet to package it, but I'll definitely assign it to
the logic flavor of DebianScience. I'll contact you for sponsoring once
it is stable. Thanks for the offer!

Best,
TK

-- 
Thomas Krennwallner
University assistant
.
TU Wien - Vienna University of Technology
Institute of Information Systems
Favoritenstrasse 9-11, 1040 Wien, Austria
.
T: +43 1 58801 18469   F: +43 1 58801 918469
tkren AT kr DOT tuwien DOT ac DOT at
http://www.kr.tuwien.ac.at/staff/tkren/
.
DVR: 0005886




Information forwarded to debian-bugs-dist@lists.debian.org, wnpp@debian.org, Thomas Krennwallner <tkren@kr.tuwien.ac.at>:
Bug#616651; Package wnpp. (Wed, 25 May 2011 12:00:04 GMT) Full text and rfc822 format available.

Acknowledgement sent to Raphael Hertzog <hertzog@debian.org>:
Extra info received and forwarded to list. Copy sent to wnpp@debian.org, Thomas Krennwallner <tkren@kr.tuwien.ac.at>. (Wed, 25 May 2011 12:00:05 GMT) Full text and rfc822 format available.

Message #25 received at 616651@bugs.debian.org (full text, mbox):

From: Raphael Hertzog <hertzog@debian.org>
To: 616651@bugs.debian.org, debian-science@lists.debian.org
Cc: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Subject: Re: Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF
Date: Wed, 25 May 2011 13:56:49 +0200
Hi,

On Wed, 25 May 2011, Thomas Krennwallner wrote:
> > http://wiki.debian.org/DebianScience
> > http://wiki.debian.org/DebianScience/Logic
> 
> I didn't find time yet to package it, but I'll definitely assign it to
> the logic flavor of DebianScience. I'll contact you for sponsoring once
> it is stable. Thanks for the offer!

So the best course is of course to integrate the package in the SVN or GIT
repository of the team. And it would be ideal if the sponsor was part
of the team (which I am not).

That said my sponsoring offer remains if nobody else from the team
is willing to sponsor you. As a first step, you could join the team:
http://wiki.debian.org/DebianScience/ContributingToDebianScience

Cheers,
-- 
Raphaël Hertzog ◈ Debian Developer

Follow my Debian News ▶ http://RaphaelHertzog.com (English)
                      ▶ http://RaphaelHertzog.fr (Français)




Information forwarded to debian-bugs-dist@lists.debian.org, wnpp@debian.org, Thomas Krennwallner <tkren@kr.tuwien.ac.at>:
Bug#616651; Package wnpp. (Wed, 25 May 2011 12:06:08 GMT) Full text and rfc822 format available.

Acknowledgement sent to Sylvestre Ledru <sylvestre@debian.org>:
Extra info received and forwarded to list. Copy sent to wnpp@debian.org, Thomas Krennwallner <tkren@kr.tuwien.ac.at>. (Wed, 25 May 2011 12:06:09 GMT) Full text and rfc822 format available.

Message #30 received at 616651@bugs.debian.org (full text, mbox):

From: Sylvestre Ledru <sylvestre@debian.org>
To: Raphael Hertzog <hertzog@debian.org>
Cc: 616651@bugs.debian.org, debian-science@lists.debian.org, Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Subject: Re: Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF
Date: Wed, 25 May 2011 14:02:12 +0200
Le mercredi 25 mai 2011 à 13:56 +0200, Raphael Hertzog a écrit :
> Hi,
> 
> On Wed, 25 May 2011, Thomas Krennwallner wrote:
> > > http://wiki.debian.org/DebianScience
> > > http://wiki.debian.org/DebianScience/Logic
> > 
> > I didn't find time yet to package it, but I'll definitely assign it to
> > the logic flavor of DebianScience. I'll contact you for sponsoring once
> > it is stable. Thanks for the offer!
> 
> So the best course is of course to integrate the package in the SVN or GIT
> repository of the team. And it would be ideal if the sponsor was part
> of the team (which I am not).
Once you think your package is ready to be uploaded, I can sponsor you.

Sylvestre
PS: Merci Raphael for the forward!






Information forwarded to debian-bugs-dist@lists.debian.org, wnpp@debian.org, Thomas Krennwallner <tkren@kr.tuwien.ac.at>:
Bug#616651; Package wnpp. (Thu, 26 May 2011 00:09:03 GMT) Full text and rfc822 format available.

Acknowledgement sent to Ralf Treinen <treinen@free.fr>:
Extra info received and forwarded to list. Copy sent to wnpp@debian.org, Thomas Krennwallner <tkren@kr.tuwien.ac.at>. (Thu, 26 May 2011 00:09:03 GMT) Full text and rfc822 format available.

Message #35 received at 616651@bugs.debian.org (full text, mbox):

From: Ralf Treinen <treinen@free.fr>
To: Raphael Hertzog <hertzog@debian.org>, 616651@bugs.debian.org, Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Subject: Re: Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF
Date: Thu, 26 May 2011 02:07:43 +0200
Hello,

On Wed, May 25, 2011 at 01:56:49PM +0200, Raphael Hertzog wrote:
> On Wed, 25 May 2011, Thomas Krennwallner wrote:
> > > http://wiki.debian.org/DebianScience
> > > http://wiki.debian.org/DebianScience/Logic
> > 
> > I didn't find time yet to package it, but I'll definitely assign it to
> > the logic flavor of DebianScience. I'll contact you for sponsoring once
> > it is stable. Thanks for the offer!
> 
> So the best course is of course to integrate the package in the SVN or GIT
> repository of the team. And it would be ideal if the sponsor was part
> of the team (which I am not).

I am also willing to sponsor this package, of course.

-Ralf




Information forwarded to debian-bugs-dist@lists.debian.org, wnpp@debian.org, Thomas Krennwallner <tkren@kr.tuwien.ac.at>:
Bug#616651; Package wnpp. (Mon, 27 May 2013 14:13:23 GMT) Full text and rfc822 format available.

Acknowledgement sent to Lucas Nussbaum <lucas@debian.org>:
Extra info received and forwarded to list. Copy sent to wnpp@debian.org, Thomas Krennwallner <tkren@kr.tuwien.ac.at>. (Mon, 27 May 2013 14:13:23 GMT) Full text and rfc822 format available.

Message #40 received at 616651@bugs.debian.org (full text, mbox):

From: Lucas Nussbaum <lucas@debian.org>
To: 616651@bugs.debian.org
Cc: control@bugs.debian.org
Subject: bool2cnf: changing back from ITP to RFP
Date: Mon, 27 May 2013 15:24:20 +0200
retitle 616651 RFP: bool2cnf -- tool for converting a boolean formula into CNF
noowner 616651
tag 616651 - pending
thanks

Hi,

This is an automatic email to change the status of bool2cnf back from ITP
(Intent to Package) to RFP (Request for Package), because this bug hasn't seen
any activity during the last 12 months.

If you are still interested in adopting bool2cnf, please send a mail to
<control@bugs.debian.org> with:

 retitle 616651 ITP: bool2cnf -- tool for converting a boolean formula into CNF
 owner 616651 !
 thanks

However, it is not recommended to keep ITP for a long time without acting on
the package, as it might cause other prospective maintainers to refrain from
packaging that software. It is also a good idea to document your progress on
this ITP from time to time, by mailing <616651@bugs.debian.org>.

Thank you for your interest in Debian,
-- 
Lucas, for the QA team <debian-qa@lists.debian.org>



Changed Bug title to 'RFP: bool2cnf -- tool for converting a boolean formula into CNF' from 'ITP: bool2cnf -- tool for converting a boolean formula into CNF' Request was from Lucas Nussbaum <lucas@debian.org> to control@bugs.debian.org. (Mon, 27 May 2013 14:25:25 GMT) Full text and rfc822 format available.

Removed annotation that Bug was owned by Thomas Krennwallner <tkren@kr.tuwien.ac.at>. Request was from Lucas Nussbaum <lucas@debian.org> to control@bugs.debian.org. (Mon, 27 May 2013 14:25:26 GMT) Full text and rfc822 format available.

Information forwarded to debian-bugs-dist@lists.debian.org, wnpp@debian.org:
Bug#616651; Package wnpp. (Fri, 14 Jun 2013 22:51:05 GMT) Full text and rfc822 format available.

Acknowledgement sent to Lizbeth Fuhring <trudyagasup@fromru.com>:
Extra info received and forwarded to list. Copy sent to wnpp@debian.org. (Fri, 14 Jun 2013 22:51:05 GMT) Full text and rfc822 format available.

Message #49 received at 616651@bugs.debian.org (full text, mbox):

From: Lizbeth Fuhring <lizbethbqf269@yahoo.com>
To: 616651@bugs.debian.org
Subject: hi
Date: Fri, 14 Jun 2013 15:48:55 -0700 (PDT)
Btw! I'm being for guy!



Send a report that this bug log contains spam.


Debian bug tracking system administrator <owner@bugs.debian.org>. Last modified: Mon Apr 21 02:26:25 2014; Machine Name: buxtehude.debian.org

Debian Bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.