Package: wnpp Severity: wishlist Owner: Thomas Krennwallner <tk...@kr.tuwien.ac.at>
* 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. -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20110306100419.19197.85095.report...@gluck.kr.tuwien.ac.at
