Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF
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
Reply to: