CDCLSolver.reset

ソルバーの状態を、真偽値割り当てがなされていない初期状態にリセットします。 初期化時以外で追加された制約はそのまま追加された状態を維持します。