メインソルバの改善 その２

マルチスレッド化の実装を行いました。

検証は、これからです。
cryptminisatの設計思想をそのまま拝借しました。マルチスレッド特有のLockに時間がかかってしまうことを避けるシンプルな設計思想です。

それから、名前がユニークです。似たような事は、私もやっていたのですが、体系的に少し徹底してやる感じです。メモリ削減に効果が期待できそうです。

さらに、新しい改善アルゴリズムを思いつきました。

以上を実装して、どれだけ効果があるかは分からないのですが、メインソルバについて出来る事は
やり終えたと思います。