Today we dig deeper into the solver! We'll talk about using the solver to find *all* of the solutions, not just *a* solution. We'll also solve a problem that may seem very difficult at the surface but becomes solvable with very little code because of Z3!
Repository: https://github.com/icub3d/z3-rs
Drawings: https://www.tldraw.com/f/2Fd1WALiXIPpdddddddddddddbWYM5EQFs?d=v0.660.1851.1030.CFRK11s6fEwYUos7wSHFi
Constraint Satisfaction Problems: https://en.wikipedia.org/wiki/Constraint_satisfaction_problem
Magic Square: https://en.wikipedia.org/wiki/Magic_square
0:00 Welcome
1:20 Homework Solution
8:00 Recap Solver
10:24 Multiple Solutions
17:46 Rock Puzzle
36:49 Homework
41:15 Conclusion
