FAQ Search Today's Posts Mark Forums Read
» Video Reviews

» Linux Archive

Linux-archive is a website aiming to archive linux email lists and to make them easily accessible for linux users/developers.


» Sponsor

» Partners

» Sponsor

Go Back   Linux Archive > Debian > Debian Development

 
 
LinkBack Thread Tools
 
Old 03-06-2011, 09:04 AM
Thomas Krennwallner
 
Default 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.



--
To UNSUBSCRIBE, email to debian-devel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: 20110306100419.19197.85095.reportbug@gluck.kr.tuwi en.ac.at">http://lists.debian.org/20110306100419.19197.85095.reportbug@gluck.kr.tuwi en.ac.at
 

Thread Tools




All times are GMT. The time now is 04:20 PM.

VBulletin, Copyright ©2000 - 2014, Jelsoft Enterprises Ltd.
Content Relevant URLs by vBSEO ©2007, Crawlability, Inc.
Copyright 2007 - 2008, www.linux-archive.org