Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF
Le dimanche 6 mars 2011 11:04:19, Thomas Krennwallner a écrit :
> 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.
Could you please clarify whati s CNF ? and DIMACS
Bastien
Reply to: