[karpierz]

I'd recommend starting here: http://minisat.se/