Solving Knight-Knave-Spy Puzzles with Z3

p a href='https://alexanderbass.com/posts/25/z3-knight-knave-spy/' https://alexanderbass.com/posts/25/z3-knight-knave-spy/ /a /p