Knights and knaves solver. .