Two nested loops, a clever trick, a chat window three ways to be wrong. The same problem at sudoku, invoice reconciliation, assembly line sequencing, wearing different spreadsheets. What if we write down the rules instead of the prompt, then watch a solver work on it?
Technologies covered
The companion notebooks demonstrate declarative constraint modeling with Microsoft Z3 and Google OR-Tools CP-SAT, including satisfiability, assignment, and optimization problems.