Haskellで書かれたSATソルバ mios https://github.com/shnarazk/mios の1.0がリリースされ、コードが公開されていた。

自分のtoysatの手近な競争相手になりそうなソルバだったので、ソースが公開されて嬉しい。 もっとも、前にも書いたように、今は性能で負けているようで、ちょっと悔しいけれど。

以前の投稿:
https://plus.google.com/+MasahiroSakai/posts/QpsL3yc4KNr