Added Help class.
Implemented Minisat deletion strategy.
Added missing files.
Added Minisat restarts streategy.
Fixed bug on Minisat deletion strategy.