Sharp-SAT (source code)

= Sharp-SAT
{wiki=Sharp-SAT}