painless

painless

PaInleSS: a Framework for Parallel SAT Solving.