プログラム parallelsat4j.sf.net

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