HaskellでSATPLAN実装する https://github.com/ipuustin/propositional-planning ってことをやってる人から、MiniSatの自作Haskellバインディング https://github.com/msakai/haskell-minisat について聞かれたでござる。 完全に放置してて、ちょっとあんまりな状態のソースだったので、少しどうにかしようかな……