sls tactic default
some extensions/modifications. versions added.
plenty of new stuff
removed tabs

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
Current version for relocating.
Merge branch 'bvsls' of https://git01.codeplex.com/z3 into bvsls

Conflicts:
	src/tactic/sls/sls_evaluator.h
	src/tactic/sls/sls_tactic.cpp
	src/tactic/sls/sls_tracker.h
SLS refactoring

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
SLS refactoring

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
uct forget and minisat restarts added
Merge branch 'bvsls' of https://git01.codeplex.com/z3 into bvsls

Conflicts:
	src/tactic/sls/sls_tactic.cpp
Merge branch 'unstable' of https://git01.codeplex.com/z3 into bvsls
Merge branch 'bvsls' of https://git01.codeplex.com/z3 into bvsls
Merge branch 'bvsls' of https://git01.codeplex.com/z3 into opt
removed unnecessary changes for bvsls

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
removed unnecessary changes for bvsls

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>