Le dimanche 6 mars 2011 11:04:19, Thomas Krennwallner a écrit : > 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. Could you please clarify whati s CNF ? and DIMACS
Bastien -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
