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?
Omówione technologie
Dołączone notebooki pokazują deklaratywne modelowanie ograniczeń z Microsoft Z3 i Google OR-Tools CP-SAT, w tym problemy spełnialności, przydziału i optymalizacji.