Write SolverRun / DeploymentRun for Deployment and Scheduling Synthesis from scratch
currently in af3.efficientdeployment.ui.util.solver (# 2915 will relocate this to exploration.smt)
(from redmine: issue id 2920, created on 2017-04-06, closed on 2019-01-25)