A simple Knights and Knaves problem solver