使われる解決アルゴリズムは有名なminisatの解決策を基本にしたものであった。