@kusano_k

Google CTFで想定解法がXORの連立方程式の問題を、それと気が付かずにSATソルバーZ3に投げたけど、数時間掛けても答えが返ってこなかった。そのくらいやってくれても良さそうなものなのに。SATソルバーの気持ちがわからない(◞‸◟)