@kusano_k

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