Changed array of assigned variables in stl::vector.
Merge branch 'master' of https://github.com/alviano/wasp
Added missing test.
Assertions.
Cache last top-most unsatisfied iterator.
Added options for BerkminHeuristicWithCache
Added help line for Berkmin Heuristic with cache.
Added buffer for input stream.
Removed string name from Variable.
Fixed bug on solver.
Added missing files.
Fixed bug on activity based heuristic.
Changed type of threshold variable in ActivityBasedDeletionStrategy class.
Fixed bug on BerkminHeuristic.
Merge remote-tracking branch 'origin/master' into top_most_iterator
Fixed bug on trace.
Internal data structures containing clauses and learned clauses are now vectors instead of lists.
Added data structure storing all clauses in which a literal appears.
Merge remote-tracking branch 'origin/master' into satelite

Conflicts:
	src/input/Dimacs.cpp
Fixed conflict on Dimacs.
Added propagation at level 0.
Added satelite simplifications.