CVS commit: wip/picosat

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

Module name:    wip
Committed by:   jihbed
Date:           Fri Jun 11 11:45:49 UTC 2010

Import into wip/picosat

Log Message:
Import picosat-913 as wip/picosat.

PicoSAT is a SAT solver turned out to be faster on industrial instances than
MiniSAT 2.0 and also can generate proofs and cores in memory.

Status:

Vendor Tag:     JIHBED
Release Tags:   JIHBED_20100611
                
N wip/picosat/distinfo
N wip/picosat/Makefile
N wip/picosat/PLIST
N wip/picosat/DESCR

No conflicts created by this import


------------------------------------------------------------------------------
ThinkGeek and WIRED's GeekDad team up for the Ultimate 
GeekDad Father's Day Giveaway. ONE MASSIVE PRIZE to the 
lucky parental unit.  See the prize list and enter to win: 
http://p.sf.net/sfu/thinkgeek-promo
_______________________________________________
pkgsrc-wip-cvs mailing list
pkgsrc-wip-cvs%lists.sourceforge.net@localhost
https://lists.sourceforge.net/lists/listinfo/pkgsrc-wip-cvs