Parallel Sat4J 0.01

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 5.0/5 - ‎1 ‎投票

これは学術プロジェクトです。主な目的は、CNF式を並列化するアルゴリズムを生成し、その後、このプロジェクトのためにソルバーとしてSat4Jを使用することを選択した、シーケンシャルSATソルバーに分散部品を供給することです。

バージョン履歴

  • バージョン 0.01 に転記 2008-03-26
    いくつかの修正と更新
  • バージョン 0.01 に転記 2008-03-26

プログラムの詳細