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
Alexander Bass — Blog
Latest posts
Virtual 8-bit Computer
p a href='https://alexanderbass.com/show/2025/virtual-8bit-computer/' https://alexanderbass.com/show/2025/virtual-8bit-computer/ /a /p
A Mandelbrot plotter ChatGPT cannot explain
p a href='https://alexanderbass.com/posts/25/obtuse-mandelbrot-chatgpt/' https://alexanderbass.com/posts/25/obtuse-mandelbrot-chatgpt/ /a /p
Send More Money Puzzle
p a href='https://alexanderbass.com/posts/25/send-more-money/' https://alexanderbass.com/posts/25/send-more-money/ /a /p
Strange is_even(x)
p a href='https://alexanderbass.com/posts/25/rust-is-even/' https://alexanderbass.com/posts/25/rust-is-even/ /a /p
Mandelbrot Sans Arithmetic
p a href='https://alexanderbass.com/show/2025/no-arithmetic-mandelbrot/' https://alexanderbass.com/show/2025/no-arithmetic-mandelbrot/ /a /p
Destructuring as Multiple Assignment
p a href='https://alexanderbass.com/posts/25/destructuring-multiple-assign/' https://alexanderbass.com/posts/25/destructuring-multiple-assign/ /a /p
New Text Emphasis Methods for the Web
p a href='https://alexanderbass.com/posts/25/new-text-emphasis/' https://alexanderbass.com/posts/25/new-text-emphasis/ /a /p
Calculator Puzzle Algorithm Optimization
p a href='https://alexanderbass.com/posts/25/calculator-problem/' https://alexanderbass.com/posts/25/calculator-problem/ /a /p
Geodesy for the Layman
p a href='https://alexanderbass.com/show/2025/geodesy-for-layman/' https://alexanderbass.com/show/2025/geodesy-for-layman/ /a /p
Symmetry Playground
p a href='https://alexanderbass.com/show/2025/symmetry-playground/' https://alexanderbass.com/show/2025/symmetry-playground/ /a /p
Composing Python built-ins to make text
p a href='https://alexanderbass.com/posts/24/python-amongus-sus/' https://alexanderbass.com/posts/24/python-amongus-sus/ /a /p