PB制約のソーティングネットワークへのエンコードを書いた。 ソーティングネットワークってこれまであまり興味なかったけれど面白いね。 Batcher odd-even mergesort の実装に関しては https://gist.github.com/stbuehler/883635 が参考になった。 そういえば、「関数プログラミングの楽しみ」のLavaの章でも扱ってたな……