Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF
Dear Raphael,
On Wed May 25, 2011 12:02:23PM +0200, Raphael Hertzog wrote:
> 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
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
--
Thomas Krennwallner
University assistant
.
TU Wien - Vienna University of Technology
Institute of Information Systems
Favoritenstrasse 9-11, 1040 Wien, Austria
.
T: +43 1 58801 18469 F: +43 1 58801 918469
tkren AT kr DOT tuwien DOT ac DOT at
http://www.kr.tuwien.ac.at/staff/tkren/
.
DVR: 0005886
Reply to: