Hi, On Sun, 06 Mar 2011, Thomas Krennwallner wrote: > * Package name : bool2cnf > Version : 20110304 > Upstream Author : Tatsuhiro Tsuchiya <t-tut...@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) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
