Sparrow2011

SPARROW is a stochastic local search (SLS) solver for SAT formulae in CNF format.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element