利かずの駒並べをOR-ToolsのCP-SATソルバで解いてみました。 制約条件を工夫することでなんとか全3720通りの置き方を列挙できました。 ただ、そんなにさっとは解けないです。 利かずの駒並べのルールについては前回のエントリを参照してください。 komodiary…