Removed all heuristic structures. The only kept heuristic is the minisat one.
Added missing files.