Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF
Package: wnpp
Severity: wishlist
Owner: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
* 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.
Reply to: