mios -- Minisat-based Implementation and Optimization Study https://github.com/shnarazk/mios おお、MiniSat風のSATソルバをHaskellで書いている人が自分の他にいた。 ベンチマーク結果を見ると、若干ながら性能で負けているようで、ちょっと悔しいが。