Sat4j ライブラリを使い始めたばかりです。特定の CNF 入力を解析して単純化するのにかかる時間を計算する方法を教えてください。
利用した
ISolver solver = SolverFactory.newDefault();
Reader reader = new DimacsReader(solver);
IProblem problem = reader.parseInstance(filename.cnf);
boolean check=problem.isSatisfiable();
リーダーが解析して isSatisfiable にかかる時間を計算したいと思います。可能であれば、 sat4j lib を使用して収集しようとしている詳細のスクリーンショットを処理したすべての cnf ファイルの画像内の情報を見つけるように親切に指示して ください。
