A Dumb Introduction to z3
24 points by abhin4v
24 points by abhin4v
You can even try the Miracle Sudoku.
Fun fact: solving the Miracle Sudoku was the thing which originally motivated me to add JS/wasm bindings to Z3.
(Yes, I could have just used Python or whatever, but it's always nicer to have things available in your preferred language, which for me for my sins is JavaScript.