Rosetta Problems
← atcoder に戻る
Generator SAT
https://atcoder.jp/contests/xmascon22/tasks/xmascon22_g