Added Heap for choosing next branching literal.
Added missing file.
Fixed bug in minisat heuristic.
Added option for minisat restarts.