a7dedca74a
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.
3 lines
105 B
Text
3 lines
105 B
Text
@comment $NetBSD: PLIST,v 1.1.1.1 2010/06/11 11:45:49 jihbed Exp $
|
|
bin/picosat
|
|
include/picosat/picosat.h
|