Knight-Knave Puzzle Generator & Solver