7 ms·I'd recommend starting here: http://minisat.se/ http://minisat.se/by karpierz 3y agoI'd recommend starting here: http://minisat.se/ http://minisat.se/