Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF
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:
Raphaël Hertzog ◈ Debian Developer
Follow my Debian News ▶ http://RaphaelHertzog.com (English)
▶ http://RaphaelHertzog.fr (Français)