Joint deployment and scheduling synthesis via SMT
Currently deployment and scheduling can only be synthesized separately
by using Z3.
The possibility of combining the two steps into a single Z3 run will be
provided.
(from redmine: issue id 3416, created on 2018-05-22, closed on 2018-10-18)