 | インクリメンタル - SATソルバーHaskellライブラリとしてのシンプルで増分されたSAT SOT |
| 今すぐダウンロード | |
インクリメンタル - SATソルバー ランキングとまとめ
広告
- ライセンス:
- BSD
- 価格:
- FREE
- 出版社名:
- Sebastian Fischer
- 出版社のWebサイト:
- オペレーティングシステム:
- Mac OS X
- ファイルサイズ:
- 4 KB
インクリメンタル - SATソルバー タグ
インクリメンタル - SATソルバー 説明
シンプルで増分されたSATはHaskellライブラリとして解決されています Incremental-Sat-Solverは、ブール充足可能性の問題についてDavis-Putnam-Logemann-Lovelandアルゴリズムを実装した無料でオープンソースのHaskellライブラリです。 変数の制約とクエリバインディングを徐々に追加するには。 要件： ・GHC.
インクリメンタル - SATソルバー 関連ソフトウェア
