[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: