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

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: