tìm 1000 nghiệm mất bao lâu?

Thay vì chỉ tìm 1 nghiệm, tìm tất cả các nghiệm

bài toán lớp 3 truyền thuyết tốn nhiều giấy mực báo chí, giải trong 1 nốt nhạc với Z3

Z3 là một thư viện rất khác biệt, và đặc biệt, giúp giải các bài toán đố, như sudoku, 8 quân hậu, ... trong 1 nốt nhạc