CDCLSolver.initialize

読み込んだ CNF の情報を元にソルバーを初期化します。