Thanks for the recommendations. I love SAT solvers and have been looking for a way to get into them.