SAT ソルバーにはいくつかのよく知られたヒューリスティクスがあって、それらを実装していきたいと考えている。

具体的には VSIDS, Restart, 2 watched literals.