Package: wnpp Severity: wishlist Owner: Thomas Krennwallner <[email protected]>
* Package name : bool2cnf Version : 20110304 Upstream Author : Tatsuhiro Tsuchiya <[email protected]> * 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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
