これは学術プロジェクトです。主な目的は、CNF式を並列化するアルゴリズムを生成し、その後、このプロジェクトのためにソルバーとしてSat4Jを使用することを選択した、シーケンシャルSATソルバーに分散部品を供給することです。
バージョン履歴
- バージョン 0.01 に転記 2008-03-26
いくつかの修正と更新 - バージョン 0.01 に転記 2008-03-26
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: parallelsat4j.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 0.01
- プラットフォーム: windows