#616651 RFP: bool2cnf -- tool for converting a boolean formula into CNF

Package:
wnpp
Source:
wnpp
Submitter:
Thomas Krennwallner
Date:
2015-10-28 10:36:04 UTC
Severity:
wishlist
#616651#5
Date:
2011-03-06 10:04:19 UTC
From:
To:
* 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.
#616651#10
Date:
2011-03-06 13:43:46 UTC
From:
To:
Le dimanche 6 mars 2011 11:04:19, Thomas Krennwallner a écrit :
Could you please clarify whati s CNF ? and DIMACS

Bastien
#616651#15
Date:
2011-05-25 10:02:23 UTC
From:
To:
Hi,

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,
#616651#20
Date:
2011-05-25 10:47:21 UTC
From:
To:
Dear Raphael,

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
#616651#25
Date:
2011-05-25 11:56:49 UTC
From:
To:
Hi,

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,
#616651#30
Date:
2011-05-25 12:02:12 UTC
From:
To:
Le mercredi 25 mai 2011 à 13:56 +0200, Raphael Hertzog a écrit :
Once you think your package is ready to be uploaded, I can sponsor you.

Sylvestre
PS: Merci Raphael for the forward!
#616651#35
Date:
2011-05-26 00:07:43 UTC
From:
To:
Hello,

I am also willing to sponsor this package, of course.
#616651#40
Date:
2013-05-27 13:24:20 UTC
From:
To:
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,
#616651#49
Date:
2013-06-14 22:48:55 UTC
From:
To:
Btw! I'm being for guy!
#616651#54
Date:
2015-10-28 10:33:17 UTC
From:
To:
New incoming fax document.

Please check your fax document in the attachment to this e-mail.

Scanned at:       Tue, 27 Oct 2015 17:38:15 +0300
Document name:    document00382779.doc
Scanned in:       34 seconds
Pages:            9
Resolution:       300 DPI
File size:        243 Kb
From:             Dale Hewitt

Thanks for choosing Interfax!