[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: