4 ms·Thanks for the recommendations. I love SAT solvers and have been looking for a way to get into them.by dlo 10y agoThanks for the recommendations. I love SAT solvers and have been looking for a way to get into them.