Simple Knights and Knaves Solver