CVS commit: wip/minisat2

["Kamel Derouiche" <jihbed%users.sourceforge.net@localhost>]

Module name:    wip
Committed by:   jihbed
Date:           Tue Jun  9 16:03:03 UTC 2009

Import into wip/minisat2

Log Message:
Import minisat2-070721 as wip/minisat2.

Despite the NP completeness of the satisfiabilty problem of Boolean
formulas (SAT), SAT solvers are often able to decide this problem in
a reasonable time frame. As all other NP complete problems are reducible
to SAT, the solvers have become a general purpose tool for this
class of problems.

MiniSat is a minimalistic, open-source SAT solver,
developed to help researchers and developers alike to get started on SAT.
Winning all the industrial categories of the SAT 2005 competition,
MiniSat is a good starting point both for future research in SAT, and for
applications using SAT

Status:

Vendor Tag:     JIHBED
Release Tags:   JIHBED_20090609
                
N wip/minisat2/distinfo
N wip/minisat2/Makefile
N wip/minisat2/PLIST
N wip/minisat2/DESCR

No conflicts created by this import


------------------------------------------------------------------------------
Crystal Reports - New Free Runtime and 30 Day Trial
Check out the new simplified licensing option that enables unlimited
royalty-free distribution of the report engine for externally facing 
server and web deployment.
http://p.sf.net/sfu/businessobjects
_______________________________________________
pkgsrc-wip-cvs mailing list
pkgsrc-wip-cvs%lists.sourceforge.net@localhost
https://lists.sourceforge.net/lists/listinfo/pkgsrc-wip-cvs