Re: Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF

[Raphael Hertzog <hertzog@debian.org>]

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)