Comment Comment by karpierz I'd recommend starting here: http://minisat.se/ parent karpierz 3 years ago