3478 smt exploration router

Simon Barnerrequested to merge
3478-smt_exploration_router into master

Depends on:

Edited by Simon Barner

Merge request reports