Start with new heuristic.
Rename heurstic folder.
Move deletion strategy into heuristic.
Move RestartStrategy into Heuristic.
Move DecisionStrategy into Heuristic.
Rename HeuristicPolicy to DecisionPolicy.
Cleaning.
More renamings.
Just one constructor for Literal.
Add testcase for the bug found by Carmine on reading repeated unary clauses.