トップ «前の日記(2008-01-26) 最新 次の日記(2008-01-28)» 月表示 編集

日々の流転


2008-01-27 [長年日記]

λ. MiniSat binding for GHC

ちょっとSATソルバを使って遊んでみたいことがあったのと、ku-ma-meさんのruby-minisat とパズルのソルバ に触発されたのとで、MiniSatのバインディングを作成してみた。

C-SourcesにC++のファイルを指定しているので、GHCの使っているGCCがC++に対応していない場合、ビルドできないはず。 C-SourcesにC++のファイルを指定するというのもどうかと思うが、Distribution.Makeモジュールを使う方法は面倒くさすぎるし。

あと、インターフェースはRubyバインディングに比べてイマイチ。 特に、変数からリテラルに明示的に変換しなくてはいけないのが面倒くさい。 リテラルを変数のスーパータイプとして定義できると良いのだが……

【追記】 Githubにレポジトリを作成しました。 <URL:https://github.com/msakai/haskell-minisat>

Tags: haskell