0

C++ または haskell で記述された SAT ソルバー ライブラリまたはプログラムが必要です。なぜそれを選択するのか、そのライブラリ/プログラムの長所と短所は何かを知りたいです。できるだけ速く、使いやすくする必要があります。

ご回答有難うございます！

4

1 に答える 1

4

これを試してください（高速SATソルバー）：

http://dudka.cz/fss

于 2012-11-12T18:31:55.440 に答える